diff options
| author | David Aspinall | 2008-08-03 20:54:48 +0000 |
|---|---|---|
| committer | David Aspinall | 2008-08-03 20:54:48 +0000 |
| commit | 3619a820b47d642cce27f7271c07324fb5a4a9ac (patch) | |
| tree | 8860880f6a9aaa5895a08e5c6a1cf09799d64da2 /isar/Example-Tokens.thy | |
| parent | b0f6fe9f657a158c094993ae6c27384a76a9b689 (diff) | |
Disable subterm markup removal
Diffstat (limited to 'isar/Example-Tokens.thy')
0 files changed, 0 insertions, 0 deletions