| Thu, 14 Sep 2006 03:25:17 +0200 | huffman | remove conflicting norm syntax | changeset | files |
| Thu, 14 Sep 2006 00:23:02 +0200 | wenzelm | made SML/NJ happy; | changeset | files |
| Wed, 13 Sep 2006 21:41:31 +0200 | wenzelm | added exists_type; | changeset | files |
| Wed, 13 Sep 2006 21:41:25 +0200 | wenzelm | renamed NameSpace.drop_base to NameSpace.qualifier; | changeset | files |