diff options
| author | Makarius Wenzel | 2006-12-07 19:51:46 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2006-12-07 19:51:46 +0000 |
| commit | 5159b8d8cc7218fb717ca4876bf845345a068f61 (patch) | |
| tree | beaa64be65251be7bb4fb2032753a88e16e3d7e2 /pgshell/example.pgsh | |
| parent | 91c7cb718f35c0fb4485cd6afe9c9529cd38d603 (diff) | |
isar-keywords-theory-enclose: isar-keywords-theory-switch is back again (in post-Isabelle2005 the latter is empty anyway);
Diffstat (limited to 'pgshell/example.pgsh')
0 files changed, 0 insertions, 0 deletions