| Sun, 01 May 2011 18:37:24 +0200 | blanchet | handle special constants correctly in Isar proof reconstruction code, especially type predicates | changeset | files |
| Sun, 01 May 2011 18:37:24 +0200 | blanchet | make sure the minimizer monomorphizes when it should | changeset | files |
| Sun, 01 May 2011 18:37:24 +0200 | blanchet | fixed arity of special constants if "explicit_apply" is set | changeset | files |
| Sun, 01 May 2011 18:37:24 +0200 | blanchet | make sure typing fact names are unique (needed e.g. by SNARK) | changeset | files |