Tue, 07 Jul 2009 00:29:34 +0200 | wenzelm | add_classrel/arity: strip_shyps of stored result; | changeset | files |
Mon, 06 Jul 2009 22:42:27 +0200 | wenzelm | clarified strip_shyps: proper type witnesses for present sorts; | changeset | files |
Mon, 06 Jul 2009 22:41:00 +0200 | wenzelm | witness_sorts: proper type witnesses for hyps, not invented "'hyp" variables; | changeset | files |
Mon, 06 Jul 2009 21:24:30 +0200 | wenzelm | structure Thm: less pervasive names; | changeset | files |