diff options
| author | David Aspinall | 1999-09-13 14:26:12 +0000 |
|---|---|---|
| committer | David Aspinall | 1999-09-13 14:26:12 +0000 |
| commit | ab56e29f53b457d85f7d841ad6369bb75ab85c55 (patch) | |
| tree | 106e88a316297e67e512af6f78529547a3c6b2ac /isar/Example.thy | |
| parent | dbf9d4824aa1749aa5f56802cdebdc28eb3cc32d (diff) | |
Experimental fix for proof-shell-completed flag clearing.
Diffstat (limited to 'isar/Example.thy')
0 files changed, 0 insertions, 0 deletions