| Wed, 18 Nov 2009 16:57:58 -0800 | huffman | remove one_typ and tr_typ; add abs/rep lemmas | changeset | files |
| Wed, 18 Nov 2009 16:14:28 -0800 | huffman | automate definition of rep/abs functions | changeset | files |
| Wed, 18 Nov 2009 15:54:47 -0800 | huffman | get rid of numbers on thy variables | changeset | files |
| Wed, 18 Nov 2009 15:51:35 -0800 | huffman | automate proofs of REP equations | changeset | files |
| Wed, 18 Nov 2009 15:01:00 -0800 | huffman | cleaned up; factored out fixed-point definition code | changeset | files |
| Wed, 18 Nov 2009 12:41:43 -0800 | huffman | automate solution of domain equations | changeset | files |
| Fri, 20 Nov 2009 00:54:20 +0100 | Christian Urban | removed fixme - quick-and-dirty flag is appropriate | changeset | files |
| Fri, 20 Nov 2009 00:20:32 +0100 | Christian Urban | use of thm-antiquotation | changeset | files |