| Mon, 20 Jun 2005 22:14:10 +0200 | wenzelm | added previous; | changeset | files |
| Mon, 20 Jun 2005 22:14:09 +0200 | wenzelm | added begin_theory, end_theory; | changeset | files |
| 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 |
| 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 |
| Mon, 20 Jun 2005 22:13:57 +0200 | wenzelm | HOL-Matrix: plain session; | changeset | files |
| Mon, 20 Jun 2005 22:13:56 +0200 | wenzelm | removed obsolete print_depth; | changeset | files |
| Mon, 20 Jun 2005 22:13:55 +0200 | wenzelm | be less ambitious about the author's name; | changeset | files |
| Mon, 20 Jun 2005 22:13:53 +0200 | wenzelm | exclude pghead.pdf from doc; | changeset | files |