src/HOL/Imperative_HOL/ex/Imperative_Reverse.thy
2012-03-25 ago merged fork with new numeral representation (see NEWS)
2011-09-12 ago new fastforce replacing fastsimp - less confusing name
2010-11-22 ago renamed slightly ambivalent crel to effect
2010-07-29 ago tuned example
2010-07-29 ago checking Scala_imp
2010-07-26 ago reactivated Scala check; tuned import order
2010-07-24 ago temporarily deactivating check for Scala
2010-07-16 ago first roughly working version of Imperative HOL for Scala
2010-07-14 ago avoid export_code ... file -
2010-07-13 ago qualified names for (really) all array operations
2010-07-13 ago canonical argument order for get
2010-07-13 ago canonical argument order for length
2010-07-13 ago proper merge of operation changes and generic do-syntax
2010-07-13 ago merged
2010-07-13 ago hide_const; update replaces change
2010-07-13 ago Heap_Monad uses Monad_Syntax
2010-07-12 ago spelt out relational framework in a consistent way
2010-07-05 ago moved "open" operations from Heap.thy to Array.thy and Ref.thy
2010-04-16 ago replaced generic 'hide' command by more conventional 'hide_class', 'hide_type', 'hide_const', 'hide_fact' -- frees some popular keywords;
2010-04-08 ago added imperative SAT checker; improved headers of example files; adopted IsaMakefile
2009-12-10 ago added Imperative_HOL examples; added tail-recursive combinator for monadic heap functions; adopted code generation of references; added lemmas