isabelle: File revisions

src/HOL/IMP/Abs_Int_ITP/Abs_Int1_parity_ITP.thy

Sat, 19 Dec 2015 11:05:04 +0100	haftmann	abandoned attempt to unify sublocale and interpretation into global theories	file \| diff \| annotate
Sat, 14 Nov 2015 08:45:52 +0100	haftmann	prefer "rewrites" and "defines" to note rewrite morphisms	file \| diff \| annotate
Thu, 11 Sep 2014 19:32:36 +0200	blanchet	updated news	file \| diff \| annotate
Tue, 09 Sep 2014 20:51:36 +0200	blanchet	use 'datatype_new' (soon to be renamed 'datatype') in Isabelle's libraries	file \| diff \| annotate
Wed, 19 Feb 2014 22:05:15 +0100	haftmann	more convenient syntax for permanent interpretation	file \| diff \| annotate
Wed, 19 Feb 2014 22:05:05 +0100	haftmann	aggiornamento for "interpretation with definitions": operate uniformly on theory and locale level under the brand of "permanent interpretation"	file \| diff \| annotate
Fri, 17 May 2013 08:19:52 +0200	nipkow	replaced `;' by `;;' to disambiguate syntax; unexpected slight increase in build time	file \| diff \| annotate
Thu, 19 Apr 2012 17:32:30 +0200	nipkow	reorganised IMP	file \| diff \| annotate \| base

isabelle