Thu, 01 Oct 2009 14:27:50 +0200 | wenzelm | back to simple fold_body_thms and fulfill_proof/thm_proof (reverting a900d3cd47cc) -- the cycle check is implicit in the future computation of join_proofs; | changeset | files |
Thu, 01 Oct 2009 14:11:28 +0200 | wenzelm | avoid mixed l/r infixes, which do not work in some versions of SML; | changeset | files |
Thu, 01 Oct 2009 12:15:35 +0200 | wenzelm | tuned; | changeset | files |