| Wed, 11 Jun 2008 18:04:02 +0200 | wenzelm | Drule.read_instantiate; | changeset | files |
| Wed, 11 Jun 2008 18:03:38 +0200 | wenzelm | qualified inst; | changeset | files |
| 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 |