diff options
author | 2009-12-01 10:06:49 +0000 | |
---|---|---|
committer | 2009-12-01 10:06:49 +0000 | |
commit | db4f7b2d60c42a432b8a0a97f796ab48460b4fb0 (patch) | |
tree | 72ec02a1a2b575a3166e58dbd2ff321fce07f72a /etc/isar/CommentParsingBug.thy | |
parent | ba2f03865ef50975d5ac2b0261d93fbe4b4eb837 (diff) |
Add some examples of longer subscripts
Diffstat (limited to 'etc/isar/CommentParsingBug.thy')
0 files changed, 0 insertions, 0 deletions