| 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 |