Tue, 16 Jun 2015 20:50:00 +0100 | paulson | another messy proof fixed | changeset | files |
Mon, 15 Jun 2015 23:56:40 +0200 | wenzelm | merged | changeset | files |
Mon, 15 Jun 2015 17:29:43 +0200 | wenzelm | more informative check: dummies are always allowed parse_term and should not lead to rejection here; | changeset | files |
Mon, 15 Jun 2015 16:59:27 +0200 | wenzelm | vacuous fact `TERM x`; | changeset | files |
Mon, 15 Jun 2015 16:24:52 +0200 | wenzelm | tuned signature; | changeset | files |
Mon, 15 Jun 2015 21:33:26 +0100 | paulson | inverted another messy proof | changeset | files |