Change History for ExistentialQuantification

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