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 10 years ross@…
12 10 years ross@…
11 10 years ross@…
10 10 years john@…
9 10 years john@…
8 10 years john@…
7 10 years ross@…
6 10 years ross@…
5 10 years ross@… incorporate material from ExistentialsVsPolymorphicComponents?
4 10 years loeh@… added crossref
3 10 years ross@…
2 10 years ross@… ref + variations between implementations
1 10 years simonmar@…