| changeset 1129 | 9a86f0ef6503 |
| parent 1128 | 17ca92ab4660 |
| child 1131 | 95e587907728 |
| 1128:17ca92ab4660 | 1129:9a86f0ef6503 |
|---|---|
1 theory Terms |
1 theory Terms |
2 imports "Nominal2_Atoms" "Nominal2_Eqvt" "Nominal2_Supp" "../Quotient" "Abs" |
2 imports "Nominal2_Atoms" "Nominal2_Eqvt" "Nominal2_Supp" "Abs" |
3 begin |
3 begin |
4 |
4 |
5 atom_decl name |
5 atom_decl name |
6 |
6 |
7 text {* primrec seems to be genarally faster than fun *} |
7 text {* primrec seems to be genarally faster than fun *} |