| Thu, 07 Apr 2005 18:33:56 +0200 | quigley | Got rid of Main.thy reference | changeset | files |
| Thu, 07 Apr 2005 18:20:04 +0200 | quigley | Integrating the reconstruction files into the building of HOL | changeset | files |
| Thu, 07 Apr 2005 17:45:51 +0200 | quigley | Reconstruction.thy and IsaMakefile updated | changeset | files |
| Thu, 07 Apr 2005 14:07:40 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 07 Apr 2005 13:29:41 +0200 | paulson | new meta-level rules | changeset | files |
| Thu, 07 Apr 2005 10:22:55 +0200 | nipkow | *** empty log message *** | changeset | files |
| Thu, 07 Apr 2005 09:51:17 +0200 | wenzelm | reverted renaming of Some/None in comments and strings; | changeset | files |
| Thu, 07 Apr 2005 09:28:16 +0200 | wenzelm | added term_8; | changeset | files |