Fri, 28 Oct 2005 13:52:57 +0200 | berghofe | Removed legacy prove_goalw_cterm command. | changeset | files |
Fri, 28 Oct 2005 12:22:34 +0200 | paulson | got rid of obsolete prove_goalw_cterm | changeset | files |
Fri, 28 Oct 2005 09:36:19 +0200 | haftmann | swapped add_datatype result | changeset | files |
Fri, 28 Oct 2005 09:35:04 +0200 | haftmann | removed obfuscating PStrStrTab | changeset | files |
Fri, 28 Oct 2005 08:40:55 +0200 | haftmann | reachable - abandoned foldl_map in favor of fold_map | changeset | files |
Fri, 28 Oct 2005 02:30:53 +0200 | mengj | Added Tools/res_hol_clause.ML | changeset | files |
Fri, 28 Oct 2005 02:30:12 +0200 | mengj | Added a new file res_hol_clause.ML to Reconstruction.thy. This file is used to translate HOL formulae into FOL clauses. | changeset | files |