| Thu, 04 Oct 2012 09:19:54 +1000 | Gerwin Klein | updated crontab and afp-poly settings | changeset | files |
| Wed, 03 Oct 2012 22:07:26 +0200 | blanchet | thread the right local theory through + reenable parallel proofs for previously problematic theories | changeset | files |
| Wed, 03 Oct 2012 21:46:52 +0200 | blanchet | made code more conform to rest of BNF package | changeset | files |
| Wed, 03 Oct 2012 17:12:08 +0200 | wenzelm | more error positions; | changeset | files |
| Wed, 03 Oct 2012 16:59:58 +0200 | wenzelm | more explicit show_type_constraint, show_sort_constraint; | changeset | files |
| Wed, 03 Oct 2012 16:59:20 +0200 | wenzelm | recovered print translation after 'a => bool to 'a set change; | changeset | files |
| Wed, 03 Oct 2012 16:43:41 +0200 | wenzelm | tuned; | changeset | files |
| Wed, 03 Oct 2012 16:42:36 +0200 | wenzelm | use explicit Type.strip_sorts_dummy to suppress sort constraints in output; | changeset | files |