lexing: thys/ROOT@12772d537b71 (annotated)

95 a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1	session "Lex" = HOL +
148 702ed601349b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 95 diff changeset	2	theories [document = false]
266 fff2e1b40dfc updated Christian Urban <urbanc@in.tum.de> parents: 259 diff changeset	3	"Spec"
fff2e1b40dfc updated Christian Urban <urbanc@in.tum.de> parents: 259 diff changeset	4	"Lexer"
fff2e1b40dfc updated Christian Urban <urbanc@in.tum.de> parents: 259 diff changeset	5	"LexerExt"
150 09f81fee11ce updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 148 diff changeset	6	"Simplifying"
248 b90ff5abb437 added a proof that Positional ordering is equivalent to direct posix definition Christian Urban <urbanc@in.tum.de> parents: 223 diff changeset	7	("Sulzmann")
b90ff5abb437 added a proof that Positional ordering is equivalent to direct posix definition Christian Urban <urbanc@in.tum.de> parents: 223 diff changeset	8	"Positions"
259 78dd6bca5627 updated Christian Urban <urbanc@in.tum.de> parents: 257 diff changeset	9	"Exercises"
95 a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	session Paper in "Paper" = Lex +
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	options [document = pdf, document_output = "..", document_variants="paper"]
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	theories
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	"~~/src/HOL/Library/LaTeXsugar"
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	"Paper"
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	document_files
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	"root.bib"
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	"root.tex"
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19
218 16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	20
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	21	session Journal in "Journal" = Lex +
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	22	options [document = pdf, document_output = "..", document_variants="journal"]
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	23	theories
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	24	"~~/src/HOL/Library/LaTeXsugar"
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	25	"Paper"
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	26	document_files
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	27	"root.bib"
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	28	"root.tex"

author	Christian Urban <urbanc@in.tum.de>
	Fri, 25 Aug 2017 15:05:20 +0200
changeset 269	12772d537b71
parent 266	fff2e1b40dfc
child 278	424bdcd01016
permissions	-rw-r--r--