diff options
| author | David Aspinall | 2002-11-20 12:21:53 +0000 |
|---|---|---|
| committer | David Aspinall | 2002-11-20 12:21:53 +0000 |
| commit | c506f96f9a46783d59a5a0223362e07c34b643a4 (patch) | |
| tree | 1789c31e06fec754db37f55bed2a0d88e3f398b1 /isar/Example.thy | |
| parent | 2d78b2bb3df4da2c32c7f664afa097b91a547e67 (diff) | |
Remove junk
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions