| Fri, 20 Apr 2012 22:05:07 +0200 | huffman | add transfer rule for nat_case | changeset | files |
| Fri, 20 Apr 2012 22:54:13 +0200 | huffman | uniform naming scheme for transfer rules | changeset | files |
| Fri, 20 Apr 2012 22:49:40 +0200 | huffman | rename 'correspondence' method to 'transfer_prover' | changeset | files |
| Fri, 20 Apr 2012 18:29:21 +0200 | kuncar | hide the invariant constant for relators: invariant_commute infrastracture | changeset | files |
| Fri, 20 Apr 2012 23:16:46 +0200 | wenzelm | improved interleaving of start_execution vs. cancel_execution of the next update; | changeset | files |
| Fri, 20 Apr 2012 23:15:44 +0200 | wenzelm | tuned proofs; | changeset | files |
| Fri, 20 Apr 2012 22:48:48 +0200 | wenzelm | always revisit nodes independently of "required" flag, which may change during editing -- avoid "bloodbath effect" when changing perspective while loading; | changeset | files |
| Fri, 20 Apr 2012 22:51:06 +0200 | wenzelm | tuned; | changeset | files |