| Mon, 01 Mar 2010 09:47:44 +0100 | bulwahn | made smlnj happy | changeset | files |
| Sun, 28 Feb 2010 23:51:31 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sun, 28 Feb 2010 22:30:51 +0100 | wenzelm | more antiquotations; | changeset | files |
| Sat, 27 Feb 2010 23:13:01 +0100 | wenzelm | modernized structure Term_Ord; | changeset | files |
| Sat, 27 Feb 2010 22:52:25 +0100 | wenzelm | use existing Typ_Graph; | changeset | files |
| Sat, 27 Feb 2010 22:52:06 +0100 | wenzelm | further standard instances of functor Graph; | changeset | files |
| Sat, 27 Feb 2010 22:41:22 +0100 | wenzelm | code simplification by inlining; | changeset | files |
| Sat, 27 Feb 2010 21:56:55 +0100 | wenzelm | just one copy of structure Term_Graph (in Pure); | changeset | files |