equal
deleted
inserted
replaced
34 (old form is still retained for backward compatibility). |
34 (old form is still retained for backward compatibility). |
35 Styles can be also applied for antiquotations prop, term_type and typeof. |
35 Styles can be also applied for antiquotations prop, term_type and typeof. |
36 |
36 |
37 |
37 |
38 *** HOL *** |
38 *** HOL *** |
|
39 |
|
40 * A tabled implementation of the reflexive transitive closure |
39 |
41 |
40 * New commands "code_pred" and "values" to invoke the predicate compiler |
42 * New commands "code_pred" and "values" to invoke the predicate compiler |
41 and to enumerate values of inductive predicates. |
43 and to enumerate values of inductive predicates. |
42 |
44 |
43 * Combined former theories Divides and IntDiv to one theory Divides |
45 * Combined former theories Divides and IntDiv to one theory Divides |