| Tue, 16 Dec 2008 21:18:53 -0800 | huffman | merged. | changeset | files |
| Tue, 16 Dec 2008 09:44:59 -0800 | huffman | new theory Dsum: cpo of disjoint sum | changeset | files |
| Tue, 16 Dec 2008 09:10:09 -0800 | huffman | scale dependency graph in document | changeset | files |
| Tue, 16 Dec 2008 20:32:41 +0000 | Christian Urban | changed the names of insert_eqvt and set_eqvt so that it is clear that they have preconditions | changeset | files |
| Tue, 16 Dec 2008 19:24:55 +0100 | wenzelm | proper document antiquotations; | changeset | files |
| Tue, 16 Dec 2008 18:04:31 +0100 | wenzelm | merged | changeset | files |
| Tue, 16 Dec 2008 08:46:07 +0100 | krauss | method "sizechange" proves termination of functions; added more infrastructure for termination proofs | changeset | files |