Wed, 28 Jul 1999 12:07:08 +0200 mkdir contrib;
wenzelm [Wed, 28 Jul 1999 12:07:08 +0200] rev 7115
mkdir contrib;
Wed, 28 Jul 1999 10:28:34 +0200 added String.concat
paulson [Wed, 28 Jul 1999 10:28:34 +0200] rev 7114
added String.concat
Wed, 28 Jul 1999 10:28:08 +0200 LK
paulson [Wed, 28 Jul 1999 10:28:08 +0200] rev 7113
LK
Tue, 27 Jul 1999 22:34:11 +0200 back again, supposedly with correct perms;
wenzelm [Tue, 27 Jul 1999 22:34:11 +0200] rev 7112
back again, supposedly with correct perms;
Tue, 27 Jul 1999 22:33:27 +0200 *** empty log message ***
wenzelm [Tue, 27 Jul 1999 22:33:27 +0200] rev 7111
*** empty log message ***
Tue, 27 Jul 1999 22:32:22 +0200 fixed perms and final nl;
wenzelm [Tue, 27 Jul 1999 22:32:22 +0200] rev 7110
fixed perms and final nl;
Tue, 27 Jul 1999 22:04:54 +0200 fixed comments;
wenzelm [Tue, 27 Jul 1999 22:04:54 +0200] rev 7109
fixed comments;
Tue, 27 Jul 1999 22:04:30 +0200 fixed comment;
wenzelm [Tue, 27 Jul 1999 22:04:30 +0200] rev 7108
fixed comment;
Tue, 27 Jul 1999 22:03:24 +0200 inductive_cases(_i): Isar interface to mk_cases;
wenzelm [Tue, 27 Jul 1999 22:03:24 +0200] rev 7107
inductive_cases(_i): Isar interface to mk_cases;
Tue, 27 Jul 1999 22:00:00 +0200 safe_step_tac / step_tac;
wenzelm [Tue, 27 Jul 1999 22:00:00 +0200] rev 7106
safe_step_tac / step_tac;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip