| Sat, 08 Jul 2000 19:14:43 +0200 | nipkow | Defs are now checked for circularity (if not overloaded). | changeset | files |
| Fri, 07 Jul 2000 21:51:52 +0200 | wenzelm | inter_sort: keep normal! | changeset | files |
| Fri, 07 Jul 2000 18:29:34 +0200 | nipkow | Tightened up check of types in constant defs. | changeset | files |
| Fri, 07 Jul 2000 18:27:47 +0200 | nipkow | added type classes to constant's type | changeset | files |
| Fri, 07 Jul 2000 17:15:17 +0200 | bauerg | skp; le; | changeset | files |
| Fri, 07 Jul 2000 16:48:12 +0200 | oheimb | added dependency caveat | changeset | files |
| Fri, 07 Jul 2000 16:47:56 +0200 | oheimb | added dependency caveat | changeset | files |
| Fri, 07 Jul 2000 16:46:02 +0200 | oheimb | added IMP/Examples.ML dependence | changeset | files |
| Thu, 06 Jul 2000 18:12:17 +0200 | wenzelm | tuned msgs; | changeset | files |
| Thu, 06 Jul 2000 18:11:48 +0200 | wenzelm | allow comment in more commands; | changeset | files |
| Thu, 06 Jul 2000 18:11:15 +0200 | wenzelm | Isabelle99-1; | changeset | files |
| Thu, 06 Jul 2000 15:58:40 +0200 | kleing | ADD -> IAdd | changeset | files |
| Thu, 06 Jul 2000 15:38:42 +0200 | nipkow | Removed some junk thms. | changeset | files |
| Thu, 06 Jul 2000 15:38:26 +0200 | nipkow | added zabs to arith_tac | changeset | files |
| Thu, 06 Jul 2000 15:38:00 +0200 | nipkow | Deleted list_case thms no subsumed by case_tac | changeset | files |