diff options
| author | Christophe Raffalli | 2001-03-19 15:29:26 +0000 |
|---|---|---|
| committer | Christophe Raffalli | 2001-03-19 15:29:26 +0000 |
| commit | f3e393273fe11457510cd20507959c3390fa016e (patch) | |
| tree | b487966ea1b394f3cc4dd2f7c5248896db6c5f80 /isar/Example.thy | |
| parent | b3bf2290c4410c324b18e5bbd2c2d8d00ae96df3 (diff) | |
*** empty log message ***
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions