Fri, 30 Oct 2009 09:55:15 +0100 | bulwahn | renamed rpred to random | changeset | files |
Sun, 01 Nov 2009 21:42:27 +0100 | wenzelm | Rules that characterize functional/relational specifications. | changeset | files |
Sun, 01 Nov 2009 20:59:34 +0100 | wenzelm | adapted Item_Net; | changeset | files |