| Tue, 07 Jun 2011 19:22:52 +0200 | kleing | use null_heap instead of %_. 0 to avoid printing problems | changeset | files |
| Tue, 07 Jun 2011 14:38:42 +0200 | blanchet | prioritize more relevant facts for monomorphization | changeset | files |
| Tue, 07 Jun 2011 14:17:35 +0200 | blanchet | more suitable implementation of "schematic_consts_of" for monomorphizer, for ATPs | changeset | files |
| Tue, 07 Jun 2011 14:17:35 +0200 | blanchet | workaround current "max_new_instances" semantics | changeset | files |
| Tue, 07 Jun 2011 14:17:35 +0200 | blanchet | fixed missing proof handling | changeset | files |
| Tue, 07 Jun 2011 14:17:35 +0200 | blanchet | optimized the relevance filter a little bit | changeset | files |
| Tue, 07 Jun 2011 14:06:12 +0200 | bulwahn | printing environment in mutabelle's log | changeset | files |