Fri, 11 Jul 1997 13:28:53 +0200 Moved some declarations to Message from Public and Shared
paulson [Fri, 11 Jul 1997 13:28:53 +0200] rev 3514
Moved some declarations to Message from Public and Shared
Fri, 11 Jul 1997 13:27:15 +0200 Now loads theory Event, which contains common declarations
paulson [Fri, 11 Jul 1997 13:27:15 +0200] rev 3513
Now loads theory Event, which contains common declarations
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;
Wed, 09 Jul 1997 16:53:53 +0200 removed init_pps;
wenzelm [Wed, 09 Jul 1997 16:53:53 +0200] rev 3509
removed init_pps;
Wed, 09 Jul 1997 16:52:51 +0200 removed init_database;
wenzelm [Wed, 09 Jul 1997 16:52:51 +0200] rev 3508
removed init_database;
Wed, 09 Jul 1997 12:57:04 +0200 Improved length = size translation.
nipkow [Wed, 09 Jul 1997 12:57:04 +0200] rev 3507
Improved length = size translation.
Mon, 07 Jul 1997 10:49:14 +0200 New proofs involving CERTIFICATE VERIFY
paulson [Mon, 07 Jul 1997 10:49:14 +0200] rev 3506
New proofs involving CERTIFICATE VERIFY
Mon, 07 Jul 1997 09:09:21 +0200 eliminated chmod -w;
wenzelm [Mon, 07 Jul 1997 09:09:21 +0200] rev 3505
eliminated chmod -w;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip