isabelle: File revisions

src/HOL/ex/Higher_Order_Logic.thy

2015-07-23	wenzelm	2015-07-23	tuned proofs;	file \| diff \| annotate
2014-11-22	wenzelm	2014-11-22	misc tuning and modernization;	file \| diff \| annotate
2014-11-02	wenzelm	2014-11-02	modernized header uniformly as section;	file \| diff \| annotate
2014-10-07	wenzelm	2014-10-07	more antiquotations;	file \| diff \| annotate
2014-02-10	wenzelm	2014-02-10	prefer vacuous definitional type classes over axiomatic ones;	file \| diff \| annotate
2011-01-07	bulwahn	2011-01-07	removing obselete Id comments from HOL/ex theories	file \| diff \| annotate
2010-04-28	wenzelm	2010-04-28	renamed command 'defaultsort' to 'default_sort';	file \| diff \| annotate
2008-05-18	wenzelm	2008-05-18	eliminated theory CPure;	file \| diff \| annotate
2007-07-17	wenzelm	2007-07-17	tuned specifications;	file \| diff \| annotate
2007-06-13	wenzelm	2007-06-13	tuned proofs: avoid implicit prems;	file \| diff \| annotate
2006-11-17	wenzelm	2006-11-17	more robust syntax for definition/abbreviation/notation;	file \| diff \| annotate
2006-09-13	krauss	2006-09-13	Major update to function package, including new syntax and the (only theoretical) ability to handle local contexts.	file \| diff \| annotate
2006-05-27	wenzelm	2006-05-27	tuned;	file \| diff \| annotate
2006-04-09	wenzelm	2006-04-09	tuned syntax/abbreviations;	file \| diff \| annotate
2005-06-17	haftmann	2005-06-17	migrated theory headers to new format	file \| diff \| annotate
2004-06-21	kleing	2004-06-21	Merged in license change from Isabelle2004	file \| diff \| annotate
2004-06-01	wenzelm	2004-06-01	removed obsolete sort 'logic';	file \| diff \| annotate
2001-12-20	wenzelm	2001-12-20	added lemma;	file \| diff \| annotate
2001-12-05	wenzelm	2001-12-05	sym [sym];	file \| diff \| annotate
2001-12-04	wenzelm	2001-12-04	added Higher_Order_Logic.thy;	file \| diff \| annotate

isabelle

RSS Atom