Nominal/nominal_mutual.ML
2011-01-17 Christian Urban exported nominal function code to external file
less more (0) tip