src/HOL/Imperative_HOL/Imperative_HOL_ex.thy
2010-09-13 haftmann 2010-09-13 added Imperative HOL overview
2010-07-29 haftmann 2010-07-29 checking Scala_imp
2010-07-26 haftmann 2010-07-26 reactivated Scala check
2010-07-24 haftmann 2010-07-24 temporarily deactivating check for Scala
2010-07-16 haftmann 2010-07-16 first roughly working version of Imperative HOL for Scala
2010-07-14 haftmann 2010-07-14 repaired some implementations of imperative operations
2010-07-14 haftmann 2010-07-14 part of pervasive test
2010-07-14 haftmann 2010-07-14 avoid export_code ... file -
2010-07-12 haftmann 2010-07-12 spelt out relational framework in a consistent way
2010-04-08 bulwahn 2010-04-08 added imperative SAT checker; improved headers of example files; adopted IsaMakefile
2009-12-10 bulwahn 2009-12-10 added Imperative_HOL examples; added tail-recursive combinator for monadic heap functions; adopted code generation of references; added lemmas
2009-06-30 haftmann 2009-06-30 tuned
2009-03-24 haftmann 2009-03-24 added Imperative_HOL_ex