| changeset 1128 | 17ca92ab4660 |
| parent 1121 | 8d3f92694e85 |
| child 1129 | 9a86f0ef6503 |
| 1127:243a5ceaa088 | 1128:17ca92ab4660 |
|---|---|
1 theory Terms |
1 theory Terms |
2 imports "Nominal2_Atoms" "Nominal2_Eqvt" "Nominal2_Supp" "../QuotMain" "Abs" |
2 imports "Nominal2_Atoms" "Nominal2_Eqvt" "Nominal2_Supp" "../Quotient" "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 *} |