equal
deleted
inserted
replaced
230 end; |
230 end; |
231 |
231 |
232 |
232 |
233 val exhaust_tac = DatatypeTactics.exhaust_tac; |
233 val exhaust_tac = DatatypeTactics.exhaust_tac; |
234 val induct_tac = DatatypeTactics.induct_tac; |
234 val induct_tac = DatatypeTactics.induct_tac; |
|
235 |