Thu, 06 Nov 1997 10:28:20 +0100 | paulson | subgoal_tac displays a warning if the new subgoal has type variables | changeset | files |
Wed, 05 Nov 1997 19:40:50 +0100 | wenzelm | mkdir -p bin; | changeset | files |
Wed, 05 Nov 1997 19:39:34 +0100 | wenzelm | Tools/8bit: ./mk; | changeset | files |