diff options
| author | Makarius Wenzel | 2008-07-07 18:35:28 +0000 |
|---|---|---|
| committer | Makarius Wenzel | 2008-07-07 18:35:28 +0000 |
| commit | 9a00ef02a868d7bce8255811393a7e89ef59ccc7 (patch) | |
| tree | 9557b6e09c341a2b02e9d74daa9d40e2587c66bc /pgshell | |
| parent | 04153288da4cba22d77a415f155130298473d6b4 (diff) | |
isar-shortcut-alist: tweaked behaviour of ~= ~: <= `` which all have a particular meaning in Isabelle;
Diffstat (limited to 'pgshell')
0 files changed, 0 insertions, 0 deletions