diff options
| author | David Aspinall | 1999-02-22 14:53:40 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-02-22 14:53:40 +0000 |
| commit | 93f33c9240d3adab95ab6f75e884fa37f00e0063 (patch) | |
| tree | 896e6ca139ba85da39a32c80e93915fddd0c40ef /isar/Example.thy | |
| parent | dad9e29189e52ab4494412fb6f8b0745011a6168 (diff) | |
Updated. Explained Coq syntax prob for proof-goal-command-p
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions