Mon, 02 Aug 1999 11:29:13 +0200 new files for the SVC link-up
paulson [Mon, 02 Aug 1999 11:29:13 +0200] rev 7145
new files for the SVC link-up
Mon, 02 Aug 1999 11:26:43 +0200 the SVC oracle theory
paulson [Mon, 02 Aug 1999 11:26:43 +0200] rev 7144
the SVC oracle theory
Mon, 02 Aug 1999 11:24:30 +0200 the SVC link-up
paulson [Mon, 02 Aug 1999 11:24:30 +0200] rev 7143
the SVC link-up
Mon, 02 Aug 1999 11:24:01 +0200 new files for the SVC link-up
paulson [Mon, 02 Aug 1999 11:24:01 +0200] rev 7142
new files for the SVC link-up
Fri, 30 Jul 1999 18:27:25 +0200 even more stuff;
wenzelm [Fri, 30 Jul 1999 18:27:25 +0200] rev 7141
even more stuff;
Fri, 30 Jul 1999 15:59:00 +0200 oracle: '=';
wenzelm [Fri, 30 Jul 1999 15:59:00 +0200] rev 7140
oracle: '=';
Fri, 30 Jul 1999 15:57:50 +0200 added \text;
wenzelm [Fri, 30 Jul 1999 15:57:50 +0200] rev 7139
added \text;
Fri, 30 Jul 1999 15:57:27 +0200 Isabelle/Isar macros;
wenzelm [Fri, 30 Jul 1999 15:57:27 +0200] rev 7138
Isabelle/Isar macros;
Fri, 30 Jul 1999 15:56:58 +0200 hacking the rail package;
wenzelm [Fri, 30 Jul 1999 15:56:58 +0200] rev 7137
hacking the rail package;
Fri, 30 Jul 1999 15:56:33 +0200 added update_thy_only;
wenzelm [Fri, 30 Jul 1999 15:56:33 +0200] rev 7136
added update_thy_only; moved update_thy;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip