src/HOL/Imperative_HOL/ex/Imperative_Quicksort.thy
2012-03-25 huffman 2012-03-25 merged fork with new numeral representation (see NEWS)
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2010-12-29 wenzelm 2010-12-29 explicit file specifications -- avoid secondary load path;
2010-11-22 haftmann 2010-11-22 renamed slightly ambivalent crel to effect
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 avoid export_code ... file -
2010-07-13 haftmann 2010-07-13 qualified names for (really) all array operations
2010-07-13 haftmann 2010-07-13 canonical argument order for get
2010-07-13 haftmann 2010-07-13 canonical argument order for length
2010-07-13 haftmann 2010-07-13 proper merge of operation changes and generic do-syntax
2010-07-13 haftmann 2010-07-13 merged
2010-07-13 haftmann 2010-07-13 hide_const; update replaces change
2010-07-13 krauss 2010-07-13 Heap_Monad uses Monad_Syntax
2010-07-12 haftmann 2010-07-12 spelt out relational framework in a consistent way
2010-07-09 haftmann 2010-07-09 pervasive success combinator
2010-07-08 haftmann 2010-07-08 dropped ancient in-place compilation of SML; more tests
2010-07-05 haftmann 2010-07-05 moved "open" operations from Heap.thy to Array.thy and Ref.thy
2010-04-08 bulwahn 2010-04-08 added imperative SAT checker; improved headers of example files; adopted IsaMakefile
2010-02-08 haftmann 2010-02-08 avoid upto in generated code (is infix operator in library.ML)
2009-10-17 wenzelm 2009-10-17 eliminated hard tabulators, guessing at each author's individual tab-width; tuned headers;
2009-06-30 haftmann 2009-06-30 restored
2009-06-30 haftmann 2009-06-30 temporary workaround
2009-03-23 haftmann 2009-03-23 moved Imperative_HOL examples to Imperative_HOL/ex