diff options
| author | David Aspinall | 2005-03-21 11:13:46 +0000 |
|---|---|---|
| committer | David Aspinall | 2005-03-21 11:13:46 +0000 |
| commit | 1f66415a5fd82cf0e19f3bccc391c7e0f7558330 (patch) | |
| tree | fa5072c85daf7d6759ca6ff47e1b02f2092ea518 /isar/Example.thy | |
| parent | dac001edd3492cdf1af68ea4a72455ad9ed80876 (diff) | |
Updated.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions