diff options
author | 2007-05-08 11:22:55 +0000 | |
---|---|---|
committer | 2007-05-08 11:22:55 +0000 | |
commit | b7a2a236035da560a34b54eaf113cffc7bdaeb7d (patch) | |
tree | c28cf02928d3206b777b81952ab1388cd8f9f736 /isar/isar.el | |
parent | 790626349863010913335c4e1a92b5c6e0575523 (diff) |
tuned Isabelle entry;
Diffstat (limited to 'isar/isar.el')
0 files changed, 0 insertions, 0 deletions