Sun, 26 Sep 1999 16:45:00 +0200 wenzelm added print_thms_containing;
Sun, 26 Sep 1999 16:44:03 +0200 wenzelm use_mltext: Context.setmp only;
Sun, 26 Sep 1999 16:42:14 +0200 wenzelm help: unknown theory context;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip