| Fri, 23 Oct 2009 17:12:47 +0200 | haftmann | merged | changeset | files |
| Fri, 23 Oct 2009 17:12:36 +0200 | haftmann | turned off old quickcheck | changeset | files |
| Fri, 23 Oct 2009 14:33:07 +0200 | krauss | pat_completeness gets its own file | changeset | files |
| Fri, 23 Oct 2009 14:22:36 +0200 | boehmes | ignore error messages produced by ATPs | changeset | files |
| Fri, 23 Oct 2009 10:11:56 +0200 | haftmann | merged | changeset | files |
| Fri, 23 Oct 2009 10:08:29 +0200 | haftmann | renamed f_inv_onto_f to f_inv_into_f (cf. 764547b68538) | changeset | files |
| Thu, 22 Oct 2009 16:58:22 +0200 | haftmann | restored accidentally deleted submultiset | changeset | files |
| Thu, 22 Oct 2009 16:52:06 +0200 | haftmann | multiset operations with canonical argument order | changeset | files |
| Thu, 22 Oct 2009 16:52:06 +0200 | haftmann | arg_types_of auxiliary function; using multiset operations | changeset | files |
| Fri, 23 Oct 2009 06:53:50 +0200 | haftmann | merged | changeset | files |
| Thu, 22 Oct 2009 16:50:24 +0200 | haftmann | close thm derivations explicitly | changeset | files |
| Fri, 23 Oct 2009 09:20:22 +1100 | tbourke | Fix a duplicate abbreviation || in etc/symbols. | changeset | files |
| Thu, 22 Oct 2009 17:54:47 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Thu, 22 Oct 2009 17:09:29 +0200 | wenzelm | updated session name; | changeset | files |