| Wed, 20 Apr 2005 17:19:42 +0200 | nipkow | Used locale interpretations everywhere. -> lemma had new name | changeset | files |
| Wed, 20 Apr 2005 17:19:18 +0200 | nipkow | Used locale interpretations everywhere. | changeset | files |
| Wed, 20 Apr 2005 16:03:17 +0200 | quigley | Removed remaining references to Main.thy in reconstruction code. | changeset | files |
| Wed, 20 Apr 2005 14:18:33 +0200 | gagern | Allow symlinks to shell scripts | changeset | files |
| Wed, 20 Apr 2005 00:45:54 +0200 | kleing | added locale instantiation | changeset | files |
| Tue, 19 Apr 2005 18:46:04 +0200 | webertj | refute extended | changeset | files |
| Tue, 19 Apr 2005 18:08:55 +0200 | paulson | syntax fix | changeset | files |