| 2006-01-10 | wenzelm | fix_tac: no warning; | changeset | files |
| 2006-01-10 | wenzelm | generic attributes; | changeset | files |
| 2006-01-10 | wenzelm | Attrib.rule; | changeset | files |
| 2006-01-10 | urbanc | tuned | changeset | files |
| 2006-01-10 | urbanc | added the lemmas supp_char and supp_string | changeset | files |
| 2006-01-09 | urbanc | added some lemmas to the collection "abs_fresh" | changeset | files |
| 2006-01-09 | paulson | _E suffix for compatibility with AddIffs | changeset | files |
| 2006-01-09 | paulson | tidied | changeset | files |
| 2006-01-09 | paulson | simplified the special-case simprules | changeset | files |
| 2006-01-09 | paulson | theorems need names | changeset | files |
| 2006-01-08 | urbanc | commented the transitivity and narrowing proof | changeset | files |
| 2006-01-07 | wenzelm | Theory specifications --- with type-inference, but no internal polymorphism. | changeset | files |
| 2006-01-07 | wenzelm | added infer_type, declared_type; | changeset | files |
| 2006-01-07 | wenzelm | added param, spec, named_spec; | changeset | files |
| Loading... | |||