isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/ZF/Induct/PropLog.thy

2022-09-28	wenzelm	recover informal "&" from 0c18df79b1c8;	file \| diff \| annotate
2022-09-27	paulson	More obsolete "unfold" calls	file \| diff \| annotate
2022-09-27	paulson	getting rid of apply (unfold ...)	file \| diff \| annotate
2022-09-27	paulson	More syntactic cleanup. LaTeX markup working	file \| diff \| annotate
2022-09-27	paulson	more modernisation of syntax	file \| diff \| annotate
2022-09-27	paulson	Removal of obsolete ASCII syntax	file \| diff \| annotate
2019-01-04	wenzelm	isabelle update -u control_cartouches;	file \| diff \| annotate
2019-01-03	wenzelm	isabelle update -u mixfix_cartouches;	file \| diff \| annotate
2017-04-09	wenzelm	clarified main ZF.thy / ZFC.thy, and avoid name clash with global HOL/Main.thy;	file \| diff \| annotate
2015-12-07	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
2015-07-23	wenzelm	isabelle update_cartouches;	file \| diff \| annotate
2014-11-02	wenzelm	modernized header;	file \| diff \| annotate
2012-03-06	paulson	mathematical symbols for Isabelle/ZF example theories	file \| diff \| annotate
2010-03-13	wenzelm	removed old CVS Ids;	file \| diff \| annotate
2010-02-09	wenzelm	modernized translations;	file \| diff \| annotate
2007-10-07	wenzelm	modernized specifications;	file \| diff \| annotate
2006-09-11	wenzelm	induct method: renamed 'fixing' to 'arbitrary';	file \| diff \| annotate
2005-12-15	wenzelm	improved proofs;	file \| diff \| annotate
2005-06-17	haftmann	migrated theory headers to new format	file \| diff \| annotate
2001-12-29	wenzelm	tuned document sources;	file \| diff \| annotate
2001-12-20	paulson	converted some ZF/Induct examples to Isar	file \| diff \| annotate
2001-11-07	paulson	reorganization of the ZF examples	file \| diff \| annotate

less more (0) tip

isabelle

RSS Atom