Nominal/ROOT.ML
2010-08-29 Christian Urban renamed NewParser to Nominal2
2010-08-26 Christian Urban "isabelle make test" makes all major examples....they work up to supp theorems (excluding)
2010-06-23 Christian Urban merged cezary's changes
2010-05-20 Christian Urban new fv/fv_bn function (supp breaks now); exported raw perms and raw funs into separate ML-files
2010-05-16 Christian Urban 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
2010-05-14 Christian Urban moved old parser and fv into attic
2010-05-13 Christian Urban added term4 back to the examples
2010-05-12 Christian Urban fixed the examples for the new eqvt-procedure....temporarily disabled Manual/Term4.thy
2010-05-09 Christian Urban tuned file names for examples
2010-05-04 Cezary Kaliszyk "isabelle make" compiles all examples with newparser/newfv/newalpha only.
2010-04-20 Christian Urban renamed Ex1.thy to SingleLet.thy
2010-04-09 Christian Urban renamed ExLam to Lambda and completed the proof of the strong ind principle; tuned paper
2010-04-08 Christian Urban tuned type-schemes example
2010-04-04 Christian Urban separated general nominal theory into separate folder
2010-04-03 Christian Urban added README and moved examples into separate directory
2010-03-26 Cezary Kaliszyk Removed remaining cheats + some cleaning.
2010-03-24 Christian Urban some tuning; possible fix for strange paper generation
2010-03-23 Cezary Kaliszyk More modification needed for compilation
2010-03-17 Christian Urban temporarily disabled tests in Nominal/ROOT
2010-02-25 Cezary Kaliszyk Split Terms into separate files and add them to tests.
2010-02-25 Christian Urban added IsaMakefile...but so far included only a test for the parser
less more (0) tip