| Sat, 07 Apr 2012 16:59:27 +0200 | wenzelm | init message not bad; | changeset | files |
| Sat, 07 Apr 2012 16:41:59 +0200 | wenzelm | explicit checks stable_finished_theory/stable_command allow parallel asynchronous command transactions; | changeset | files |
| Fri, 06 Apr 2012 23:34:38 +0200 | wenzelm | discontinued obsolete last_execs (cf. cd3ab7625519); | changeset | files |
| Fri, 06 Apr 2012 14:40:00 +0200 | huffman | remove now-unnecessary type annotations from lift_definition commands | changeset | files |
| Fri, 06 Apr 2012 14:39:27 +0200 | huffman | more robust generation of quotient rules using tactics | changeset | files |
| Fri, 06 Apr 2012 13:50:07 +0200 | huffman | merged | changeset | files |
| Fri, 06 Apr 2012 10:37:46 +0200 | huffman | add function dest_Quotient | changeset | files |