isabelle: File revisions

src/ZF/Epsilon.thy

2005-06-17	haftmann	2005-06-17	migrated theory headers to new format	file \| diff \| annotate
2005-02-01	paulson	2005-02-01	the new subst tactic, by Lucas Dixon	file \| diff \| annotate
2003-08-19	paulson	2003-08-19	new case_tac	file \| diff \| annotate
2003-01-23	paulson	2003-01-23	tidying (by script)	file \| diff \| annotate
2002-10-01	paulson	2002-10-01	Numerous cosmetic changes, prompted by the new simplifier	file \| diff \| annotate
2002-08-27	wenzelm	2002-08-27	* empty log message *	file \| diff \| annotate
2002-07-18	paulson	2002-07-18	new theorems to support Constructible proofs	file \| diff \| annotate
2002-07-14	paulson	2002-07-14	Removal of mono.thy	file \| diff \| annotate
2002-07-14	paulson	2002-07-14	improved presentation markup	file \| diff \| annotate
2002-07-09	paulson	2002-07-09	better document preparation	file \| diff \| annotate
2002-07-02	paulson	2002-07-02	Tidying and introduction of various new theorems	file \| diff \| annotate
2002-06-18	paulson	2002-06-18	new theorems	file \| diff \| annotate
2002-06-05	paulson	2002-06-05	Tidying up. Mainly moving proofs from Main.thy to other (Isar) theory files.	file \| diff \| annotate
2002-05-28	paulson	2002-05-28	deleted some useless ML bindings	file \| diff \| annotate
2002-05-23	paulson	2002-05-23	new definition of "apply" and new simprule "beta_if"	file \| diff \| annotate
2002-05-18	paulson	2002-05-18	converted Epsilon to Isar	file \| diff \| annotate
1999-01-07	paulson	1999-01-07	ZF: the natural numbers as a datatype	file \| diff \| annotate
1997-01-03	paulson	1997-01-03	Implicit simpsets and clasets for FOL and ZF	file \| diff \| annotate
1996-02-06	clasohm	1996-02-06	expanded tabs	file \| diff \| annotate
1995-12-09	clasohm	1995-12-09	removed quotes from consts and syntax sections	file \| diff \| annotate
1994-11-29	lcp	1994-11-29	replaced "rules" by "defs"	file \| diff \| annotate
1993-11-16	clasohm	1993-11-16	made pseudo theories for all ML files; documented dependencies between all thy and ML files	file \| diff \| annotate
1993-09-16	clasohm	1993-09-16	Initial revision	file \| diff \| annotate

isabelle

RSS Atom