Nominal/nominal_function.ML
Mon, 18 Jun 2012 14:50:02 +0100 Christian Urban used ML-antiquotation command_spec for new commands
Mon, 30 Apr 2012 15:45:23 +0100 Christian Urban adapted to change by Markus on function.ML
less more (0) -10 -2 tip