lexing: thys2/README@358300b70a2e (annotated)

365 ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	1	Theories:
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	2	=========
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	3
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	4	Lexer.thy
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	5	Simplifying.thy
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	6
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	7	The repository can be checked using Isabelle 2017.
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	8
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	9	isabelle build -c -v -d . Lex
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	10
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	11	isabelle build -c -v -d . Paper
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	12
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	13	isabelle build -c -v -d . Journal
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	14
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	15	Other directories are:
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	16	=====================
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	17
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	18	Paper
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	19	Journal
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	20	Literature
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	21
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	22
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	23
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	24
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	25
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	26
ec5e4fe4cc70 for new journal/conf paper! Chengsong parents: diff changeset	27

author	Chengsong
	Fri, 27 May 2022 18:58:31 +0100
changeset 521	358300b70a2e
parent 365	ec5e4fe4cc70
permissions	-rw-r--r--