lexing: thys/ROOT@16af5b8bd285 (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]
185 841f7b9c0a6a updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 150 diff changeset	3	"Lexer"
150 09f81fee11ce updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 148 diff changeset	4	"Simplifying"
148 702ed601349b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 95 diff changeset	5	"Sulzmann"
702ed601349b updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 95 diff changeset	6
95 a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	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	9	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	10	theories
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	11	"~~/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	12	"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	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	14	"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	15	"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	16
218 16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	17
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	18	session Journal in "Journal" = Lex +
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	19	options [document = pdf, document_output = "..", document_variants="journal"]
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	20	theories
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	21	"~~/src/HOL/Library/LaTeXsugar"
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	22	"Paper"
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	23	document_files
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	24	"root.bib"
16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	25	"root.tex"

author	Christian Urban <urbanc@in.tum.de>
	Sun, 26 Feb 2017 23:46:22 +0000
changeset 218	16af5b8bd285
parent 185	841f7b9c0a6a
child 223	17c079699ea0
permissions	-rw-r--r--