Nominal/nominal_dt_rawfuns.ML
2010-06-07 Christian Urban work on transitivity proof
2010-06-03 Christian Urban fixed problem with eqvt proofs
2010-06-02 Christian Urban fixed problem with bn_info
2010-06-01 Christian Urban smaller code for raw-eqvt proofs
less more (0) -10 -4 tip