diff options
| author | Assia Mahboubi | 2007-12-05 12:10:20 +0000 |
|---|---|---|
| committer | Assia Mahboubi | 2007-12-05 12:10:20 +0000 |
| commit | da21b5e16c55b9e8242cae9035b34a5d6c58c5af (patch) | |
| tree | 666d5ceb10fac84a0abc180515d1fb919776db6a /isar/Example.thy | |
| parent | 6056026627af61aaef081bd828fb0bc8c2869a91 (diff) | |
Corollary added to Coq starters
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions