| 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 |
| Mon, 20 Jun 2005 21:34:31 +0200 | wenzelm | improved formatting; | changeset | files |
| Mon, 20 Jun 2005 21:33:27 +0200 | wenzelm | use Tools/ATP/VampCommunication.ML; | changeset | files |
| Mon, 20 Jun 2005 18:39:24 +0200 | quigley | Added VampCommunication.ML. | changeset | files |
| Mon, 20 Jun 2005 16:41:47 +0200 | wenzelm | moved configure to lib/scripts; | changeset | files |
| Mon, 20 Jun 2005 16:41:20 +0200 | wenzelm | ./configure obsolete on virtually all systems, but apt to cause problems; | changeset | files |
| Mon, 20 Jun 2005 15:55:44 +0200 | paulson | using TPTP2X_HOME; indentation, etc | changeset | files |
| Mon, 20 Jun 2005 15:54:39 +0200 | paulson | fixed a faulty proof | changeset | files |
| Mon, 20 Jun 2005 15:54:22 +0200 | paulson | moving some generic inequalities from integer arith to nat arith | changeset | files |
| Mon, 20 Jun 2005 11:45:40 +0200 | haftmann | (moved to Distribution/lib/scripts) | changeset | files |
| Mon, 20 Jun 2005 11:30:44 +0200 | haftmann | added fixheaders | changeset | files |
| Sun, 19 Jun 2005 00:07:41 +0200 | wenzelm | improved comment; | changeset | files |
| Sun, 19 Jun 2005 00:02:06 +0200 | wenzelm | some minor adaptions to make it work again; | changeset | files |
| Sat, 18 Jun 2005 22:57:23 +0200 | wenzelm | tuned; | changeset | files |
| Sat, 18 Jun 2005 22:47:44 +0200 | wenzelm | tuned remove; | changeset | files |
| Sat, 18 Jun 2005 22:42:01 +0200 | wenzelm | added member; | changeset | files |
| Sat, 18 Jun 2005 22:41:18 +0200 | wenzelm | added Pure/General/ord_list.ML; | changeset | files |
| Sat, 18 Jun 2005 22:40:51 +0200 | wenzelm | Ordered lists without duplicates. | changeset | files |