| Fri, 28 Sep 2007 10:29:35 +0200 | berghofe | - add_inductive_i now takes typ instead of typ option as argument | changeset | files |
| Thu, 27 Sep 2007 17:57:12 +0200 | wenzelm | proper handling of chained facts; | changeset | files |
| Thu, 27 Sep 2007 17:55:28 +0200 | paulson | removal of some "ref"s from res_axioms.ML; a side-effect is that the ordering | changeset | files |
| Thu, 27 Sep 2007 17:28:05 +0200 | ballarin | Fixed setup of transitivity reasoner (function decomp). | changeset | files |