src/HOL/Hoare/ROOT.ML
2003-03-11 nipkow 2003-03-11 *** empty log message ***
2003-01-06 nipkow 2003-01-06 Split Pointers.thy and automated one proof, which caused the runtime to explode
2003-01-05 nipkow 2003-01-05 *** empty log message ***
2002-05-10 nipkow 2002-05-10 Added Pointers.thy
2000-05-30 wenzelm 2000-05-30 cleaned up;
1999-03-11 wenzelm 1999-03-11 removed foo_build_completed -- now handled by session management (via usedir);
1998-10-14 nipkow 1998-10-14 New many-sorted version.
1996-01-30 clasohm 1996-01-30 expanded tabs
1995-11-22 nipkow 1995-11-22 Added List_Examples
1995-11-21 clasohm 1995-11-21 removed make_chart; theories are now read from the current directory (because of use_dir)
1995-11-17 nipkow 1995-11-17 New directory. Hoare logic according to Mike Gordon.