Change History for ExistentialQuantification

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