Nominal/Ex/Lambda.thy
2010-08-21 Christian Urban nominal_datatypes with type variables do not work
2010-08-21 Christian Urban changed parser so that the binding mode is indicated as "bind (list)", "bind (set)" or "bind (res)"; if only "bind" is given, then bind (list) is assumed as default
2010-06-07 Christian Urban work on transitivity proof
less more (0) -30 -10 -3 tip