diff options
| author | David Aspinall | 2003-02-18 01:02:04 +0000 |
|---|---|---|
| committer | David Aspinall | 2003-02-18 01:02:04 +0000 |
| commit | 6fdb0edaba66fe8efe8441e10811ac526bcddd1a (patch) | |
| tree | 37bb59d36a532dde1a4dc81b737a5eafdf3603bb /etc/isar/MultipleModes.thy | |
| parent | 4e6eaf66ce80cc2ae31ef85376dfd1c02240ca5c (diff) | |
Updated.
Diffstat (limited to 'etc/isar/MultipleModes.thy')
0 files changed, 0 insertions, 0 deletions