Change History for ExistentialQuantification

Version Date Author Comment
20 11 years ross@…
19 12 years john@…
18 12 years john@…
17 12 years john@…
16 12 years ross@… move Omega reference
15 12 years malcolm.wallace@… make original proposal and extension more clearly separate
14 12 years s.j.thompson@…
13 12 years ross@…
12 12 years ross@…
11 12 years ross@…
10 12 years john@…
9 12 years john@…
8 12 years john@…
7 12 years ross@…
6 12 years ross@…
5 12 years ross@… incorporate material from ExistentialsVsPolymorphicComponents?
4 12 years loeh@… added crossref
3 12 years ross@…
2 12 years ross@… ref + variations between implementations
1 12 years Simon Marlow