Nominal/nominal_basics.ML
2013-03-27 webertj Various changes to support Nominal2 commands in local contexts.
2012-01-16 Christian Urban updated to Isabelle 16 January
2011-07-11 Christian Urban combinators for local theories and lists
2011-07-08 Christian Urban some code refactoring
2011-02-28 Christian Urban split the library into a basics file; merged Nominal_Eqvt into Nominal_Base
less more (0) tip