isabelle: File revisions

src/LCF/LCF.thy

2010-12-20	wenzelm	proper identifiers for consts and types;	file \| diff \| annotate
2010-04-28	wenzelm	renamed command 'defaultsort' to 'default_sort';	file \| diff \| annotate
2010-03-13	wenzelm	removed old CVS Ids;	file \| diff \| annotate
2010-02-15	wenzelm	eliminated unnamed infixes;	file \| diff \| annotate
2008-06-16	wenzelm	pervasive RuleInsts;	file \| diff \| annotate
2008-06-14	wenzelm	proper context for tactics derived from res_inst_tac;	file \| diff \| annotate
2007-04-26	wenzelm	eliminated unnamed infixes;	file \| diff \| annotate
2006-06-01	wenzelm	tuned;	file \| diff \| annotate
2006-06-01	wenzelm	removed obsolete ML files;	file \| diff \| annotate
2005-09-03	wenzelm	uses ("LCF_lemmas.ML");	file \| diff \| annotate
2005-09-03	wenzelm	converted to Isar theory format;	file \| diff \| annotate
1997-10-10	wenzelm	fixed dots;	file \| diff \| annotate
1996-02-05	clasohm	expanded tabs	file \| diff \| annotate
1994-10-21	lcp	LCF/LCF.thy: the constant VOID had mixfix syntax "()" !! Added quotes.	file \| diff \| annotate
1994-03-17	lcp	new type declaration syntax instead of numbers	file \| diff \| annotate
1993-09-16	clasohm	Initial revision	file \| diff \| annotate

isabelle