diff options
| author | Makarius Wenzel | 1999-04-16 16:15:27 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 1999-04-16 16:15:27 +0000 |
| commit | 9bafbd1b551c9cf8d7c3a7fb96511966ed094831 (patch) | |
| tree | 05cbcb8b6ee845e4d77285ee6bf3d3cf9849b9c0 /etc/ProofGeneral.patch | |
| parent | 9d69d66256b4c88c89fb3903de29bc71b2fb36cb (diff) | |
initial version of 'isar proof assistant (Isabelle/Isar);
Diffstat (limited to 'etc/ProofGeneral.patch')
0 files changed, 0 insertions, 0 deletions