Nominal/ROOT.ML
2012-01-24 Christian Urban tuned make-file
2011-12-29 Christian Urban separated the two versions of type schemes into two files
2011-12-23 Christian Urban included Pi theory in tests
2011-12-17 Christian Urban updated
2011-12-17 Christian Urban updated in stable branch Nominal2-Isabelle2011-1
2011-12-17 Christian Urban updated all examples in stable branch Nominal2-Isabelle2011-1
2011-11-07 Christian Urban all examples work again after quotient package has been "de-localised"
less more (0) -30 -10 -7 tip