Mon, 25 Mar 1996 11:13:59 +0100 nipkow added converse_converse
Mon, 25 Mar 1996 08:46:02 +0100 nipkow replaced "rules" by "primrec"
Sun, 24 Mar 1996 18:36:28 +0100 clasohm moved init_data to new public function set_current_thy
(0) -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip