| Wed, 11 Jun 2008 18:03:14 +0200 | wenzelm | qualified types_sorts, read_insts etc.; | changeset | files |
| Wed, 11 Jun 2008 18:02:50 +0200 | wenzelm | Drule.types_sorts; | changeset | files |
| 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 |
| Wed, 11 Jun 2008 15:40:44 +0200 | wenzelm | RuleInsts.res_inst_tac with proper context; | changeset | files |
| Wed, 11 Jun 2008 15:40:20 +0200 | wenzelm | more antiquotations; | changeset | files |
| Wed, 11 Jun 2008 11:20:10 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 11 Jun 2008 09:08:52 +0200 | haftmann | explicit rule for induct_tac | changeset | files |
| Tue, 10 Jun 2008 23:49:55 +0200 | wenzelm | tuned spacing; | changeset | files |
| Tue, 10 Jun 2008 23:45:53 +0200 | wenzelm | updated generated file; | changeset | files |