diff options
author | Makarius Wenzel <makarius@sketis.net> | 2001-08-31 20:42:30 +0000 |
---|---|---|
committer | Makarius Wenzel <makarius@sketis.net> | 2001-08-31 20:42:30 +0000 |
commit | 976dcd83aee1757876c8d1aa313d5e00abcf0d52 (patch) | |
tree | 71677b79323f1cc289e3f2339b10375ff849a6f2 /isar/interface | |
parent | 0ae24ac3267c874ec16f3eabfa2556d5d7ddd7be (diff) |
back to *official* Isabelle99-2 (later Isabelle dists will provide
their own copy of this file);
Diffstat (limited to 'isar/interface')
0 files changed, 0 insertions, 0 deletions