nominal2: Nominal/ROOT.ML@a0ca7d9f6781 (annotated)

1261 853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	1	quick_and_dirty := true;
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	2
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	3	no_document use_thys
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	4	["Nominal2_Base",
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	5	"Nominal2_Eqvt",
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	6	"Nominal2_Atoms",
853abc14c5c6 added IsaMakefile...but so far included only a test for the parser Christian Urban <urbanc@in.tum.de> parents: diff changeset	7	"Nominal2_Supp",
1604 5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	8	"ExLam",
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	9	"ExLF",
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	10	"Ex1",
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	11	"Ex1rec",
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	12	"Ex2",
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	13	"Ex3",
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	14	"ExLet",
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	15	"ExLetRec",
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	16	"ExTySch",
1629 a0ca7d9f6781 some tuning; possible fix for strange paper generation Christian Urban <urbanc@in.tum.de> parents: 1604 diff changeset	17	"ExLeroy",
a0ca7d9f6781 some tuning; possible fix for strange paper generation Christian Urban <urbanc@in.tum.de> parents: 1604 diff changeset	18	"Test"
1604 5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	19	(* "ExCoreHaskell", *)
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	20	(* "ExPS3", *)
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	21	(* "ExPS6", *)
5ab97f43ec24 More modification needed for compilation Cezary Kaliszyk <kaliszyk@in.tum.de> parents: 1485 diff changeset	22	];

author	Christian Urban <urbanc@in.tum.de>
	Wed, 24 Mar 2010 12:53:39 +0100 (2010-03-24)
changeset 1629	a0ca7d9f6781
parent 1604	5ab97f43ec24
child 1656	c9d3dda79fe3
permissions	-rw-r--r--