isabelle: File revisions

src/HOL/Library/List_lexord.thy

2013-08-26	wenzelm	2013-08-26	tuned imports; tuned proofs;	file \| diff \| annotate
2013-07-25	haftmann	2013-07-25	factored syntactic type classes for bot and top (by Alessandro Coglio)	file \| diff \| annotate
2010-08-27	haftmann	2010-08-27	renamed class/constant eq to equal; tuned some instantiations	file \| diff \| annotate
2010-07-12	haftmann	2010-07-12	dropped superfluous [code del]s	file \| diff \| annotate
2010-06-21	haftmann	2010-06-21	added bot instances; tuned	file \| diff \| annotate
2009-03-23	haftmann	2009-03-23	Main is (Complex_Main) base entry point in library theories	file \| diff \| annotate
2008-10-10	haftmann	2008-10-10	`code func` now just `code`	file \| diff \| annotate
2008-07-25	haftmann	2008-07-25	added class preorder	file \| diff \| annotate
2008-07-07	haftmann	2008-07-07	*absolute imports of HOL/.thy theories**	file \| diff \| annotate
2008-06-26	haftmann	2008-06-26	established Plain theory and image	file \| diff \| annotate
2008-01-02	haftmann	2008-01-02	removed some legacy instantiations	file \| diff \| annotate
2007-12-10	haftmann	2007-12-10	switched import from Main to List	file \| diff \| annotate
2007-11-29	haftmann	2007-11-29	instance command as rudimentary class target	file \| diff \| annotate
2007-05-06	haftmann	2007-05-06	changed code generator invocation syntax	file \| diff \| annotate
2007-04-20	haftmann	2007-04-20	Isar definitions are now added explicitly to code theorem table	file \| diff \| annotate
2007-03-20	haftmann	2007-03-20	added instance for lattice	file \| diff \| annotate
2007-02-14	haftmann	2007-02-14	added class "preorder"	file \| diff \| annotate
2007-01-25	haftmann	2007-01-25	improved	file \| diff \| annotate
2006-11-22	haftmann	2006-11-22	added code lemmas	file \| diff \| annotate
2005-08-31	wenzelm	2005-08-31	tuned presentation;	file \| diff \| annotate
2005-04-15	nipkow	2005-04-15	New	file \| diff \| annotate

isabelle

RSS Atom