Fri, 31 Jan 1997 16:39:27 +0100 | oheimb | added def_fix_ind and def_wfix_ind for convenience | changeset | files |
Fri, 31 Jan 1997 15:54:00 +0100 | oheimb | added addloop (and also documentation of addsolver | changeset | files |
Fri, 31 Jan 1997 13:57:33 +0100 | oheimb | changed handling of cont_lemmas and adm_lemmas | changeset | files |