Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | further cleaning up | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | added option show_proof_trace | changeset | files |
Sat, 24 Oct 2009 16:55:42 +0200 | bulwahn | importing of polymorphic introduction rules with different schematic variable names | changeset | files |