| Mon, 02 May 2011 01:20:28 +0200 | wenzelm | merged; | changeset | files |
| Mon, 02 May 2011 01:05:50 +0200 | wenzelm | modernized rail diagrams using @{rail} antiquotation; | changeset | files |
| Mon, 02 May 2011 01:05:24 +0200 | blanchet | tuning | changeset | files |
| Mon, 02 May 2011 01:05:14 +0200 | blanchet | fixed parsing of multiple negations (e.g. ~~~p) found in Vampire proofs | changeset | files |
| Sun, 01 May 2011 22:36:58 +0200 | blanchet | use "metis", not "metisFT", to reconstruct proofs found in fully-typed mode -- "metisFT" is just too slow... | changeset | files |
| Sun, 01 May 2011 21:53:32 +0200 | blanchet | beware of polymorphic types in typed translation symbol declarations -- match alpha-equivalent types and, more importantly, prevent unsoundnesses by generating type constraints on the arguments of a polymorphic symbols (otherwise "hAPP" can be given any result type) | changeset | files |