nominal2: ROOT@ca6ca6fc28af (annotated)

3194 6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	session Nominal2! in "Nominal" = HOL +
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	2	options [document = false]
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	theories
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	"Nominal2"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	"Atoms"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	"Eqvt"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	7
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	8	session Tests! in "Nominal" = Nominal2 +
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	9	options [document = false]
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	10	theories
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	11	"Ex/Weakening"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	12	"Ex/Classical"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	13	"Ex/Datatypes"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	14	"Ex/Ex1"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	15	"Ex/ExPS3"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	16	"Ex/Multi_Recs"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	17	"Ex/Multi_Recs2"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	18	"Ex/LF"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	19	"Ex/Lambda"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	20	("Ex/Let",)
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	21	"Ex/LetPat"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	22	"Ex/LetRec"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	23	"Ex/LetRec2"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	24	"Ex/LetFun"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	25	"Ex/Modules"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	26	"Ex/SingleLet"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	27	"Ex/Shallow"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	28	"Ex/SystemFOmega"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	29	"Ex/TypeSchemes1"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	30	"Ex/TypeSchemes2"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	31	"Ex/TypeVarsTest"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	32	"Ex/Foo1"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	33	"Ex/Foo2"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	34	"Ex/CoreHaskell"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	35	"Ex/CoreHaskell2"
6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	36	"Ex/Pi"
3196 ca6ca6fc28af tuned Christian Urban <urbanc@in.tum.de> parents: 3194 diff changeset	37	theories [quick_and_dirty]
ca6ca6fc28af tuned Christian Urban <urbanc@in.tum.de> parents: 3194 diff changeset	38	"Ex/Let"
3194 6454435d689b added new ROOT session file Christian Urban <urbanc@in.tum.de> parents: diff changeset	39
3196 ca6ca6fc28af tuned Christian Urban <urbanc@in.tum.de> parents: 3194 diff changeset	40	session Esop! in "ESOP-Paper" = Nominal2 +
ca6ca6fc28af tuned Christian Urban <urbanc@in.tum.de> parents: 3194 diff changeset	41	theories [document = false]
ca6ca6fc28af tuned Christian Urban <urbanc@in.tum.de> parents: 3194 diff changeset	42	"~~/src/HOL/Library/LaTeXsugar"
ca6ca6fc28af tuned Christian Urban <urbanc@in.tum.de> parents: 3194 diff changeset	43	theories
ca6ca6fc28af tuned Christian Urban <urbanc@in.tum.de> parents: 3194 diff changeset	44	"Paper"
ca6ca6fc28af tuned Christian Urban <urbanc@in.tum.de> parents: 3194 diff changeset	45	files "document/root.bib" "document/root.tex"

author	Christian Urban <urbanc@in.tum.de>
	Tue, 07 Aug 2012 18:53:50 +0100
changeset 3196	ca6ca6fc28af
parent 3194	6454435d689b
child 3198	e42d281bf5ef
permissions	-rw-r--r--