2002-07-09 paulson new files
2002-07-08 nipkow *** empty log message ***
2002-07-08 paulson more and simpler separation proofs
2002-07-08 wenzelm tuned;
2002-07-08 paulson Defining a meta-existential quantifier.
2002-07-08 nipkow *** empty log message ***
2002-07-08 nipkow *** empty log message ***
2002-07-08 nipkow *** empty log message ***
2002-07-08 nipkow *** empty log message ***
2002-07-08 paulson reflection for more internal formulas
2002-07-08 wenzelm clarified text content of locale body;
2002-07-08 nipkow *** empty log message ***
2002-07-05 paulson more internalized formulas and separation proofs
2002-07-05 nipkow *** empty log message ***
2002-07-05 paulson more separation instances
2002-07-05 paulson for ZF document
2002-07-05 paulson fixed precedences of **
2002-07-05 kleing added dependency for $(OUT)/Pure
2002-07-05 kleing added dependency for $(OUT)/FOL
2002-07-04 paulson More use of relativized quantifiers
2002-07-04 paulson Constructible: some separation axioms
2002-07-04 wenzelm tuned;
2002-07-04 wenzelm Constructible/document/root.tex;
2002-07-04 wenzelm document setup;
2002-07-04 nipkow *** empty log message ***
2002-07-04 paulson tweaks
2002-07-04 paulson reflection for rall and rex
2002-07-04 paulson towards proving separation for L
2002-07-04 paulson separation of M_axioms into M_triv_axioms and M_axioms
2002-07-04 paulson miniscoping for class-bounded quantifiers (rall and rex)
(0) -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip