isabelle: File revisions

src/ZF/Fixedpt.thy

2010-03-13	wenzelm	2010-03-13	removed old CVS Ids; tuned headers;	file \| diff \| annotate
2007-10-07	wenzelm	2007-10-07	modernized specifications; removed legacy ML bindings;	file \| diff \| annotate
2005-06-17	haftmann	2005-06-17	migrated theory headers to new format	file \| diff \| annotate
2003-05-27	paulson	2003-05-27	updating ZF-UNITY with Sidi's new material	file \| diff \| annotate
2002-07-14	paulson	2002-07-14	improved presentation markup	file \| diff \| annotate
2002-06-18	paulson	2002-06-18	tidying	file \| diff \| annotate
2002-06-18	paulson	2002-06-18	conversion of Fixedpt to Isar script	file \| diff \| annotate
2002-05-21	paulson	2002-05-21	converted domrange to Isar and merged with equalities	file \| diff \| annotate
1999-01-12	wenzelm	1999-01-12	eliminated global/local names;	file \| diff \| annotate
1997-10-20	wenzelm	1997-10-20	local;	file \| diff \| annotate
1997-10-17	wenzelm	1997-10-17	global;	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