| 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 |