lexing: thys/ROOT@7af4e2420a8c (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
a33d3040bf7e started a paper and moved cruft to Attic Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2
218 16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	3
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	4	session Journal in Journal = "HOL" +
363 fc346faada4e updated for Isabelle 2021 Christian Urban <christian.urban@kcl.ac.uk> parents: 362 diff changeset	5	options [ document_output = "..", document_variants="journal", document = pdf]
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	6	sessions
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	7	"HOL-Library"
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	8	directories
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	9	".."
330 89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	10	theories [document = false]
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	11	"HOL-Library.LaTeXsugar"
e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	12	"HOL-Library.Sublist"
330 89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	13	"../Spec"
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	14	"../Lexer"
330 89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	15	"../RegLangs"
89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	16	"../Simplifying"
89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	17	"../Sulzmann"
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	18	"../Positions"
330 89e6605c4ca4 updated Christian Urban <urbanc@in.tum.de> parents: 287 diff changeset	19	theories [document = true]
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	20	"Paper"
218 16af5b8bd285 updated Christian Urban <urbanc@in.tum.de> parents: 185 diff changeset	21	document_files
362 e51c9a67a68d updated Christian Urban <christian.urban@kcl.ac.uk> parents: 330 diff changeset	22	"root.bib"
364 232aa2f19a75 added llncs.cls Christian Urban <christian.urban@kcl.ac.uk> parents: 363 diff changeset	23	"root.tex"
232aa2f19a75 added llncs.cls Christian Urban <christian.urban@kcl.ac.uk> parents: 363 diff changeset	24	"llncs.cls"

author	Chengsong
	Sat, 26 Nov 2022 16:18:10 +0000
changeset 628	7af4e2420a8c
parent 364	232aa2f19a75
permissions	-rw-r--r--