src/HOL/Hoare/Pointer_Examples.thy
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