Wed, 16 Jan 2013 19:02:40 +0100 | smolkas | use Pure instead of HOL connectives | changeset | files |
Wed, 16 Jan 2013 12:55:29 +0100 | blanchet | graceful failure | changeset | files |
Wed, 16 Jan 2013 12:46:11 +0100 | blanchet | honor fact range for MePo as well | changeset | files |