Change History for ExistentialQuantification

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