src/HOL/Hoare/Heap.thy
2010-03-01 haftmann 2010-03-01 replaced a couple of constsdefs by definitions (also some old primrecs by modern ones)
2006-09-11 wenzelm 2006-09-11 induct method: renamed 'fixing' to 'arbitrary';
2006-04-10 nipkow 2006-04-10 Included cyclic list examples
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-03-23 nipkow 2003-03-23 *** empty log message ***