Fri, 28 Oct 2005 22:27:52 +0200 | wenzelm | added incr_indexes; | changeset | files |
Fri, 28 Oct 2005 22:27:51 +0200 | wenzelm | renamed Goal constant to prop; | changeset | files |
Fri, 28 Oct 2005 22:27:47 +0200 | wenzelm | accomodate simplified Thm.lift_rule; | changeset | files |