| Wed, 11 Jun 2008 18:02:25 +0200 | wenzelm | OldGoals.inst; | changeset | files |
| Wed, 11 Jun 2008 18:02:00 +0200 | wenzelm | Drule.read_instantiate; | changeset | files |
| Wed, 11 Jun 2008 18:01:36 +0200 | wenzelm | changed pred_congs: merely cover pred1_cong pred2_cong pred3_cong; | changeset | files |
| Wed, 11 Jun 2008 18:01:11 +0200 | wenzelm | removed obsolete/unused pred_congs; | changeset | files |
| Wed, 11 Jun 2008 15:41:57 +0200 | wenzelm | tuned comments; | changeset | files |
| Wed, 11 Jun 2008 15:41:33 +0200 | wenzelm | converted ML proofs from simpdata.ML; | changeset | files |
| Wed, 11 Jun 2008 15:41:08 +0200 | wenzelm | removed dead code; | changeset | files |