equal
deleted
inserted
replaced
162 (* Simp rules for termination proofs *) |
162 (* Simp rules for termination proofs *) |
163 |
163 |
164 structure Termination_Simps = Named_Thms |
164 structure Termination_Simps = Named_Thms |
165 ( |
165 ( |
166 val name = "termination_simp" |
166 val name = "termination_simp" |
167 val description = "Simplification rule for termination proofs" |
167 val description = "simplification rules for termination proofs" |
168 ) |
168 ) |
169 |
169 |
170 |
170 |
171 (* Default Termination Prover *) |
171 (* Default Termination Prover *) |
172 |
172 |