Thu, 12 Apr 2012 11:28:36 +0200 | wenzelm | partial revert of 8a179a0493e3 -- expose failure status of result (potentially via group) instead of isolated interrupt; | changeset | files |
Thu, 12 Apr 2012 10:13:33 +0200 | bulwahn | multiset operations are defined with lift_definitions; | changeset | files |
Thu, 12 Apr 2012 07:33:14 +0200 | huffman | remove outdated comment | changeset | files |
Wed, 11 Apr 2012 21:40:46 +0200 | wenzelm | rule composition via attribute "OF" (or ML functions OF/MRS) is more tolerant against multiple unifiers; | changeset | files |
Wed, 11 Apr 2012 20:42:28 +0200 | wenzelm | standardized ML aliases; | changeset | files |
Wed, 11 Apr 2012 15:02:48 +0200 | wenzelm | clarified proof_result: finish proof formally via head tr, not end_tr; | changeset | files |
Wed, 11 Apr 2012 14:20:51 +0200 | wenzelm | tuned; | changeset | files |