| Fri, 10 Jun 2005 19:21:16 +0200 | nipkow | tuned | changeset | files |
| Fri, 10 Jun 2005 18:36:47 +0200 | nipkow | tuning | changeset | files |
| Fri, 10 Jun 2005 17:59:12 +0200 | nipkow | IntInf change | changeset | files |
| Fri, 10 Jun 2005 16:15:36 +0200 | quigley | All subgoals sent to the watcher at once now. | changeset | files |
| Thu, 09 Jun 2005 23:33:28 +0200 | wenzelm | added Isar_examples/Drinker.thy; | changeset | files |
| Thu, 09 Jun 2005 16:58:03 +0200 | wenzelm | full Display.pprint_theory for ML toplevel facilitates debugging; | changeset | files |
| Thu, 09 Jun 2005 16:56:42 +0200 | wenzelm | simplified is_stale, check_stale; | changeset | files |
| Thu, 09 Jun 2005 12:06:38 +0200 | wenzelm | updated; | changeset | files |