Fri, 28 Jul 2006 18:11:22 +0200 | webertj | title fixed | changeset | files |
Thu, 27 Jul 2006 23:28:30 +0200 | wenzelm | replaced extern_skolem by slightly more simplistic revert_skolems; | changeset | files |
Thu, 27 Jul 2006 23:28:28 +0200 | wenzelm | renamed ProofContext.fix_frees to Variable.fix_frees; | changeset | files |