| 2010-12-08 | Christian Urban | moved definition of raw bn-functions into nominal_dt_rawfuns | changeset | files |
| 2010-12-08 | Christian Urban | kept the nested structure of constructors (belonging to one datatype) | changeset | files |
| 2010-12-07 | Christian Urban | moved general theorems into the libraries | changeset | files |
| 2010-12-07 | Christian Urban | automated permute_bn theorems | changeset | files |
| 2010-12-07 | Christian Urban | updated to changes in Isabelle | changeset | files |
| 2010-12-06 | Christian Urban | deleted nominal_dt_supp.ML | changeset | files |
| 2010-12-06 | Christian Urban | moved code from nominal_dt_supp to nominal_dt_quot | changeset | files |
| Loading... | |||