isabelle: File revisions

src/HOL/Imperative_HOL/Imperative_HOL_ex.thy

Fri, 16 Jul 2010 15:28:22 +0200	haftmann	first roughly working version of Imperative HOL for Scala	file \| diff \| annotate
Wed, 14 Jul 2010 17:15:58 +0200	haftmann	repaired some implementations of imperative operations	file \| diff \| annotate
Wed, 14 Jul 2010 16:45:30 +0200	haftmann	part of pervasive test	file \| diff \| annotate
Wed, 14 Jul 2010 16:13:14 +0200	haftmann	avoid export_code ... file -	file \| diff \| annotate
Mon, 12 Jul 2010 16:05:08 +0200	haftmann	spelt out relational framework in a consistent way	file \| diff \| annotate
Thu, 08 Apr 2010 08:17:27 +0200	bulwahn	added imperative SAT checker; improved headers of example files; adopted IsaMakefile	file \| diff \| annotate
Thu, 10 Dec 2009 11:58:26 +0100	bulwahn	added Imperative_HOL examples; added tail-recursive combinator for monadic heap functions; adopted code generation of references; added lemmas	file \| diff \| annotate
Tue, 30 Jun 2009 14:53:58 +0200	haftmann	tuned	file \| diff \| annotate
Tue, 24 Mar 2009 09:15:51 +0100	haftmann	added Imperative_HOL_ex	file \| diff \| annotate

isabelle