Thu, 19 May 2005 01:22:53 +0200 | dixon | lucas - bugfix to subst in assumptions: fixed index error for conditional rules. | changeset | files |
Wed, 18 May 2005 23:49:52 +0200 | huffman | shortened proof of adm_disj | changeset | files |
Wed, 18 May 2005 23:29:36 +0200 | huffman | cleaned up and shortened some proofs | changeset | files |
Wed, 18 May 2005 23:04:13 +0200 | dixon | lucas - fixed subst in assumptions to count redexes from left to right. | changeset | files |
Wed, 18 May 2005 11:31:00 +0200 | wenzelm | removed update_node, which is just an instance of map_node; | changeset | files |
Wed, 18 May 2005 11:30:59 +0200 | wenzelm | tuned; | changeset | files |
Wed, 18 May 2005 11:30:58 +0200 | wenzelm | updated; | changeset | files |