| Mon, 20 Jun 2005 22:14:08 +0200 | wenzelm | added certify_prop, cert_term, cert_prop; | changeset | files |
| Mon, 20 Jun 2005 22:14:07 +0200 | wenzelm | datatype thmref = Name ... | NameSelection ...; | changeset | files |
| Mon, 20 Jun 2005 22:14:06 +0200 | wenzelm | added member, option_ord; | changeset | files |
| Mon, 20 Jun 2005 22:14:05 +0200 | wenzelm | OrdList.inter; | changeset | files |
| Mon, 20 Jun 2005 22:14:04 +0200 | wenzelm | tuned; | changeset | files |
| Mon, 20 Jun 2005 22:14:03 +0200 | wenzelm | improved treatment of intermediate checkpoints: actual copy | changeset | files |
| 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 |