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