index
:
proof-general
master
Emacs interface for proof assistants
about
summary
refs
log
tree
commit
diff
homepage
log msg
author
committer
range
path:
root
/
etc
/
isar
Mode
Name
Size
-rw-r--r--
AHundredProofs.thy
14533
log
plain
-rw-r--r--
AHundredTheorems.thy
3451
log
plain
-rw-r--r--
AThousandComments.thy
82943
log
plain
-rw-r--r--
AThousandTheorems.thy
32213
log
plain
-rw-r--r--
BackslashInStrings.thy
1278
log
plain
-rw-r--r--
BigErrors.thy
586
log
plain
-rw-r--r--
BigErrorsNested.thy
113
log
plain
-rw-r--r--
ChosenLogic.thy
92
log
plain
-rw-r--r--
ChosenLogic2.thy
89
log
plain
-rw-r--r--
CommentParsingBug.thy
54
log
plain
-rw-r--r--
CommentParsingBug2.thy
116
log
plain
-rw-r--r--
Depends.thy
325
log
plain
-rw-r--r--
EmptyCommands.thy
138
log
plain
-rw-r--r--
FaultyErrors.thy
1026
log
plain
-rw-r--r--
Fibonacci.thy
5075
log
plain
-rw-r--r--
HighlightSize.thy
332
log
plain
-rw-r--r--
IllegalEscape.thy
192
log
plain
-rw-r--r--
InterruptTest.thy.gz
3914
log
plain
-rw-r--r--
MultipleModes.thy
379
log
plain
-rw-r--r--
NamesInStrings.thy
670
log
plain
-rw-r--r--
Parsing.thy
2214
log
plain
-rw-r--r--
ParsingBug1.thy
311
log
plain
-rw-r--r--
Persistent.thy
1024
log
plain
-rw-r--r--
README
234
log
plain
-rw-r--r--
Sendback.thy
650
log
plain
-rw-r--r--
TextProps.thy
732
log
plain
-rw-r--r--
TokensAcid.thy
10111
log
plain
-rw-r--r--
Trac189.thy
141
log
plain
-rw-r--r--
Trac280-subrev.thy
269
log
plain
-rw-r--r--
Unicode.thy
1261
log
plain
-rw-r--r--
XEmacsSyntacticContextProb.thy
540
log
plain
-rw-r--r--
XSymbolTests.thy
3989
log
plain
-rw-r--r--
bad1.thy
16
log
plain
-rw-r--r--
bad2.thy
34
log
plain
d---------
multiple
199
log
plain
-rw-r--r--
nesting-too-deep-for-parser.txt
75114
log
plain
-rw-r--r--
new-parsing-test.el
1344
log
plain
-rw-r--r--
profiling.txt
31077
log
plain
-rw-r--r--
trace_simp.thy
426
log
plain