aboutsummaryrefslogtreecommitdiffhomepage
path: root/etc/isar
ModeNameSize
-rw-r--r--CommentParsingBug.thy33logplain
-rw-r--r--CommentParsingBug2.thy91logplain
-rw-r--r--Depends.thy330logplain
-rw-r--r--Fibonacci.thy4511logplain
-rw-r--r--MultipleModes.thy362logplain
-rw-r--r--Parsing.thy2176logplain
-rw-r--r--ParsingBug1.thy300logplain
-rw-r--r--Persistent.thy1013logplain
-rw-r--r--README234logplain
-rw-r--r--XEmacsSyntacticContextProb.thy529logplain
-rw-r--r--XSymbolTests.thy2109logplain
-rw-r--r--bad1.thy16logplain
-rw-r--r--bad2.thy20logplain
d---------multiple166logplain
-rw-r--r--new-parsing-test.el1344logplain
-rw-r--r--trace_simp.thy333logplain