diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 10:52:43 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1999-10-06 10:52:43 +0000 |
| commit | e0706d87ee5550e452c964fffb240aa74a2aa9b7 (patch) | |
| tree | 50185b1896042a1dda2ca8050237b20d2fad30b4 /coq/example.v | |
| parent | c3adbee017f79d6fac40c217e0a6efdfb377d5ce (diff) | |
Note to use C-c C-s to solve Isabelle prob
Diffstat (limited to 'coq/example.v')
0 files changed, 0 insertions, 0 deletions