| Mon, 20 Jun 2005 22:14:02 +0200 | wenzelm | added add_fixrec_i, add_fixpat_i; | changeset | files |
| Mon, 20 Jun 2005 22:14:01 +0200 | wenzelm | proper header; | changeset | files |
| Mon, 20 Jun 2005 22:13:59 +0200 | wenzelm | get_thm(s): Name; | changeset | files |
| Mon, 20 Jun 2005 22:13:58 +0200 | wenzelm | get_thm instead of obsolete Goals.get_thm; | changeset | files |