src/HOL/Hoare/Pointer_ExamplesAbort.thy
2011-09-12 nipkow 2011-09-12 new fastforce replacing fastsimp - less confusing name
2010-08-11 wenzelm 2010-08-11 modernized specifications; tuned headers;
2005-06-17 haftmann 2005-06-17 migrated theory headers to new format
2003-03-23 nipkow 2003-03-23 *** empty log message ***