isabelle: File revisions

src/HOL/Imperative_HOL/Array.thy

Thu, 02 Oct 2014 11:33:04 +0200	haftmann	tuned Heap_Monad.successE	file \| diff \| annotate
Sun, 23 Jun 2013 21:16:07 +0200	haftmann	migration from code_(const\|type\|class\|instance) to code_printing and from code_module to code_identifier	file \| diff \| annotate
Fri, 15 Feb 2013 08:31:31 +0100	haftmann	two target language numeral types: integer and natural, as replacement for code_numeral;	file \| diff \| annotate
Tue, 05 Jun 2012 07:10:51 +0200	haftmann	prefer sys.error over plain error in Scala to avoid deprecation warning	file \| diff \| annotate
Mon, 22 Nov 2010 09:37:39 +0100	haftmann	renamed slightly ambivalent crel to effect	file \| diff \| annotate
Thu, 04 Nov 2010 17:27:37 +0100	haftmann	added lemma length_alloc	file \| diff \| annotate
Mon, 27 Sep 2010 11:12:01 +0200	haftmann	treat equality on refs and arrays as primitive operation	file \| diff \| annotate
Mon, 13 Sep 2010 11:13:15 +0200	nipkow	renamed lemmas: ext_iff -> fun_eq_iff, set_ext_iff -> set_eq_iff, set_ext -> set_eqI	file \| diff \| annotate

isabelle