Nominal/ROOT.ML
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