Mon, 04 Oct 2010 14:36:18 +0200 | blanchet | instantiate foralls and release exists in the order described by the topological order | changeset | files |
Mon, 04 Oct 2010 14:34:15 +0200 | blanchet | reverted 0bfaaa81fc62, since "Thm.rename_boundvars" can't be relied upon to give unique names to bound variables | changeset | files |
Mon, 04 Oct 2010 09:08:46 +0200 | blanchet | renamed internal function | changeset | files |