isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

src/HOL/BNF_Cardinal_Order_Relation.thy

2016-10-01	wenzelm	Isar proof of Schroeder_Bernstein without using Hilbert_Choice (and metis);	file \| diff \| annotate
2016-04-25	wenzelm	eliminated old 'def';	file \| diff \| annotate
2016-02-23	nipkow	more canonical names	file \| diff \| annotate
2016-02-17	haftmann	prefer abbreviations for compound operators INFIMUM and SUPREMUM	file \| diff \| annotate
2015-12-27	wenzelm	*discontinued ASCII replacement syntax <>;**	file \| diff \| annotate
2015-12-07	wenzelm	isabelle update_cartouches -c -t;	file \| diff \| annotate
2015-07-18	wenzelm	isabelle update_cartouches;	file \| diff \| annotate
2015-06-26	wenzelm	tuned whitespace;	file \| diff \| annotate
2014-11-02	wenzelm	modernized header uniformly as section;	file \| diff \| annotate
2014-10-07	wenzelm	more bibtex entries;	file \| diff \| annotate
2014-09-01	blanchet	renamed '(BNF_)Constructions_on_Wellorders' to '(BNF_)Wellorder_Constructions'	file \| diff \| annotate
2014-03-18	traytel	tuned proofs; removed duplicated facts	file \| diff \| annotate
2014-03-13	haftmann	tuned proofs	file \| diff \| annotate
2014-03-13	haftmann	tuned	file \| diff \| annotate
2014-03-07	traytel	made natLe{q,ss} constants (yields smaller terms in composition)	file \| diff \| annotate
2014-03-06	traytel	rationalized imports	file \| diff \| annotate
2014-02-28	traytel	load Metis a little later	file \| diff \| annotate
2014-02-20	traytel	less flex-flex pairs (thanks to Lars' statistics)	file \| diff \| annotate
2014-01-31	blanchet	tuning	file \| diff \| annotate
2014-01-22	blanchet	whitespace tuning	file \| diff \| annotate
2014-01-20	blanchet	renamed 'regular' to 'regularCard' to avoid clashes (e.g. in Meson_Test)	file \| diff \| annotate
2014-01-20	blanchet	tuned comments	file \| diff \| annotate
2014-01-20	blanchet	renamed '_FP' files to 'BNF_' files	file \| diff \| annotate \| base

less more (0) tip

isabelle

RSS Atom