Fri, 11 Jul 1997 13:26:15 +0200 Moving common declarations and proofs from theories "Shared"
paulson [Fri, 11 Jul 1997 13:26:15 +0200] rev 3512
Moving common declarations and proofs from theories "Shared" and "Public" to "Event". NB the original "Event" theory was later renamed "Shared". Addition of the Notes constructor to datatype "event".
Wed, 09 Jul 1997 17:00:34 +0200 removed obsolete init_pps and init_thy_reader;
wenzelm [Wed, 09 Jul 1997 17:00:34 +0200] rev 3511
removed obsolete init_pps and init_thy_reader;
Wed, 09 Jul 1997 16:54:17 +0200 improved type checking errors;
wenzelm [Wed, 09 Jul 1997 16:54:17 +0200] rev 3510
improved type checking errors;
(0) -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip