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
2330
+ − 3
(*
1261
853abc14c5c6
added IsaMakefile...but so far included only a test for the parser
Christian Urban <urbanc@in.tum.de>
parents:
diff
changeset
+ − 4
no_document use_thys
1797
fddb470720f1
renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 5
["Ex/Lambda",
2083
+ − 6
"Ex/LF",
1911
+ − 7
"Ex/SingleLet",
1773
+ − 8
"Ex/Ex1rec",
+ − 9
"Ex/Ex2",
+ − 10
"Ex/Ex3",
+ − 11
"Ex/ExLet",
+ − 12
"Ex/ExLetRec",
1795
+ − 13
"Ex/TypeSchemes",
2083
+ − 14
"Ex/Modules",
1773
+ − 15
"Ex/ExPS3",
+ − 16
"Ex/ExPS7",
2142
c39d4fe31100
moved the exporting part into the parser (this is still a hack); re-added CoreHaskell again to the examples - there seems to be a problem with the variable name pat
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 17
"Ex/CoreHaskell",
2288
3b83960f9544
new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 18
"Ex/Test"(*,
3b83960f9544
new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
Christian Urban <urbanc@in.tum.de>
diff
changeset
+ − 19
"Manual/Term4"*)
1604
+ − 20
];
2330
+ − 21
*)