| Sat, 22 Mar 2014 18:19:57 +0100 | wenzelm | more antiquotations; | file | diff | annotate |
| Thu, 13 Mar 2014 14:48:20 +0100 | blanchet | correctly reconstruct helper facts (e.g. 'nat_int') in Isar proofs | file | diff | annotate |
| Mon, 03 Feb 2014 15:19:07 +0100 | blanchet | merged 'reconstructors' and 'proof methods' | file | diff | annotate |
| Sun, 02 Feb 2014 20:53:51 +0100 | blanchet | rationalized threading of 'metis' arguments | file | diff | annotate |
| Thu, 30 Jan 2014 22:42:29 +0100 | blanchet | reverted unsound optimization | file | diff | annotate |
| Thu, 30 Jan 2014 20:39:49 +0100 | blanchet | unskolemize SPASS formula to ensure that the variables are in the right order for 'metis's skolemizer | file | diff | annotate |
| Thu, 30 Jan 2014 16:40:31 +0100 | blanchet | centralized & repaired handling of bound variables in intermediate data structure (viva de Bruijn) | file | diff | annotate |