src/HOL/Imperative_HOL/ex/Sorted_List.thy
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2010-07-06 haftmann 2010-07-06 even more fun with primrec
2010-04-08 bulwahn 2010-04-08 added imperative SAT checker; improved headers of example files; adopted IsaMakefile