src/HOL/Hoare/Pointer_Examples.thy
2010-03-01 krauss 2010-03-01 more recdef (and old primrec) hunting
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2010-02-23 haftmann 2010-02-23 dropped axclass; dropped Id; session theory Hoare.thy
2007-08-31 wenzelm 2007-08-31 do not touch quick_and_dirty;
2006-04-10 nipkow 2006-04-10 Included cyclic list examples
2006-04-10 nipkow 2006-04-10 Added splicing algorithm.
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-06-26 nipkow 2003-06-26 *** empty log message ***
2003-06-22 nipkow 2003-06-22 *** empty log message ***
2003-03-23 nipkow 2003-03-23 *** empty log message ***
2003-01-07 nipkow 2003-01-07 new versions of merge-example
2003-01-06 nipkow 2003-01-06 Split Pointers.thy and automated one proof, which caused the runtime to explode