Thu, 08 Nov 2012 11:59:47 +0100 | bulwahn | importing term with schematic type variables properly before passing it to the tactic in the set_comprehension_pointfree simproc | changeset | files |
Thu, 08 Nov 2012 11:59:47 +0100 | bulwahn | handling arbitrary terms in the set comprehension and more general merging of patterns possible in the set_comprehension_pointfree simproc | changeset | files |