isabelle: File revisions

Mercurial Mercurial > repos > isabelle / file revisions

NEWS

2010-03-03	wenzelm	*authentic syntax for all* logical entities;**	file \| diff \| annotate
2010-03-01	wenzelm	added type_notation command;	file \| diff \| annotate
2010-02-27	wenzelm	clarified @{const_name} (only logical consts) vs. @{const_abbrev};	file \| diff \| annotate
2010-02-27	wenzelm	ML antiquotations for type classes;	file \| diff \| annotate
2010-02-26	haftmann	merged	file \| diff \| annotate
2010-02-24	haftmann	renamed theory Rational to Rat	file \| diff \| annotate
2010-02-25	wenzelm	more orthogonal antiquotations for type constructors;	file \| diff \| annotate
2010-02-24	wenzelm	allow general mixfix syntax for type constructors;	file \| diff \| annotate
2010-02-22	haftmann	NEWS	file \| diff \| annotate
2010-02-22	haftmann	NEWS	file \| diff \| annotate
2010-02-22	haftmann	merged	file \| diff \| annotate
2010-02-22	haftmann	NEWS	file \| diff \| annotate
2010-02-19	haftmann	NEWS	file \| diff \| annotate
2010-02-19	haftmann	NEWS	file \| diff \| annotate
2010-02-21	wenzelm	tuned;	file \| diff \| annotate
2010-02-21	wenzelm	*NEWS: authentic syntax for all* term constants;**	file \| diff \| annotate
2010-02-15	wenzelm	renamed InfixName to Infix etc.;	file \| diff \| annotate
2010-02-15	wenzelm	discontinued unnamed infix syntax;	file \| diff \| annotate
2010-02-11	wenzelm	added ML antiquotation @{syntax_const};	file \| diff \| annotate
2010-02-10	wenzelm	renamed Library/Quotient.thy to Library/Quotient_Type.thy to avoid clash with new theory Quotient in Main HOL;	file \| diff \| annotate
2010-02-10	haftmann	NEWS	file \| diff \| annotate
2010-02-10	haftmann	moved constants inverse and divide to Ring.thy	file \| diff \| annotate
2010-02-08	haftmann	renamed OrderedGroup to Groups; split theory Ring_and_Field into Rings Fields	file \| diff \| annotate
2010-02-08	haftmann	NEWS: ax_simps	file \| diff \| annotate
2010-02-08	haftmann	merged	file \| diff \| annotate
2010-02-08	haftmann	separate library theory for type classes combining lattices with various algebraic structures	file \| diff \| annotate
2010-02-08	haftmann	merged	file \| diff \| annotate
2010-02-08	haftmann	separate theory for index structures	file \| diff \| annotate
2010-02-05	haftmann	more consistent naming of type classes involving orderings (and lattices) -- c.f. NEWS	file \| diff \| annotate
2010-02-07	wenzelm	renamed old-style Drule.standard to Drule.export_without_context, to emphasize that this is in no way a standard operation;	file \| diff \| annotate

less more (0) -1000 -300 -100 -50 -30 tip

isabelle

RSS Atom