| Fri, 29 Apr 2005 11:22:41 +0200 | kleing | new thms_containing that searches for patterns instead of constants | changeset | files |
| Fri, 29 Apr 2005 08:05:06 +0200 | haftmann | added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done) | changeset | files |
| Fri, 29 Apr 2005 08:03:01 +0200 | haftmann | added antiquotations typeof, const, term_style, thm_style, term_type (something still to be done) | changeset | files |
| Fri, 29 Apr 2005 00:52:12 +0200 | kleing | version update | changeset | files |