Fri, 22 Oct 1993 22:17:25 +0100 removed a bug that occured when a path was specified for use_thy's parameter
clasohm [Fri, 22 Oct 1993 22:17:25 +0100] rev 78
removed a bug that occured when a path was specified for use_thy's parameter and the theory was created in a .ML file
(0) -30 -10 -1 +1 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip