| 2010-04-28 | Christian Urban | closed Datatype_Aux; replaced nth_dtyp by the function used in Perm.thy | changeset | files |
| 2010-04-27 | Christian Urban | added some further problemetic tests | changeset | files |
| 2010-04-27 | Christian Urban | some tuning | changeset | files |
| 2010-04-27 | Christian Urban | moved mk_atom into the library; that meant that concrete atom classes need to be in Nominal2_Base | changeset | files |
| Loading... | |||