Wed, 01 Oct 1997 17:40:09 +0200 | wenzelm | fully qualified names: Theory.add_XXX; | changeset | files |
Wed, 01 Oct 1997 17:36:51 +0200 | wenzelm | added name_space.ML; | changeset | files |
Wed, 01 Oct 1997 17:32:38 +0200 | wenzelm | added split_last; | changeset | files |
Wed, 01 Oct 1997 14:30:38 +0200 | wenzelm | Hierarchically structured name spaces. | changeset | files |
Wed, 01 Oct 1997 13:42:18 +0200 | paulson | Strengthened the possibility property for resumption so that it could have | changeset | files |
Wed, 01 Oct 1997 13:41:38 +0200 | paulson | Fixed ServerResume to check for ServerHello instead of making a new NB | changeset | files |