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-09 ago pervasive success combinator
2010-07-08 ago dropped ancient in-place compilation of SML; more tests
2010-07-05 ago moved "open" operations from Heap.thy to Array.thy and Ref.thy
2010-04-08 ago added imperative SAT checker; improved headers of example files; adopted IsaMakefile
2010-02-08 ago avoid upto in generated code (is infix operator in library.ML)
2009-10-17 ago eliminated hard tabulators, guessing at each author's individual tab-width;
2009-06-30 ago restored
2009-06-30 ago temporary workaround
2009-03-23 ago moved Imperative_HOL examples to Imperative_HOL/ex