diff options
author | 2005-09-17 11:10:30 +0000 | |
---|---|---|
committer | 2005-09-17 11:10:30 +0000 | |
commit | 5306636f1baafb513df058260493f7a80fddfc43 (patch) | |
tree | 5645f7063ca5f66de47227c01539d1ff359aa6d0 /isar/isar.el | |
parent | 8745d32b0be33418e9ada81001802185f00e7f90 (diff) |
update examples for Isabelle2005;
Diffstat (limited to 'isar/isar.el')
0 files changed, 0 insertions, 0 deletions