Thu, 08 Apr 2004 15:47:44 +0200 freeness theorems and induction rule
paulson [Thu, 08 Apr 2004 15:47:44 +0200] rev 14533
freeness theorems and induction rule
Thu, 08 Apr 2004 15:14:33 +0200 tidied
paulson [Thu, 08 Apr 2004 15:14:33 +0200] rev 14532
tidied
Thu, 08 Apr 2004 12:49:23 +0200 new theory
paulson [Thu, 08 Apr 2004 12:49:23 +0200] rev 14531
new theory
Thu, 08 Apr 2004 12:45:22 +0200 some (much longer) structured proofs
paulson [Thu, 08 Apr 2004 12:45:22 +0200] rev 14530
some (much longer) structured proofs
Thu, 08 Apr 2004 01:04:20 +0200 fix time tag of session.tex
kleing [Thu, 08 Apr 2004 01:04:20 +0200] rev 14529
fix time tag of session.tex
Wed, 07 Apr 2004 20:42:13 +0200 Locale instantiation: label parameter optional, new attribute paramter.
ballarin [Wed, 07 Apr 2004 20:42:13 +0200] rev 14528
Locale instantiation: label parameter optional, new attribute paramter.
Wed, 07 Apr 2004 14:25:48 +0200 IsaMakefile
paulson [Wed, 07 Apr 2004 14:25:48 +0200] rev 14527
IsaMakefile
Tue, 06 Apr 2004 16:19:45 +0200 new
mehta [Tue, 06 Apr 2004 16:19:45 +0200] rev 14526
new
Tue, 06 Apr 2004 16:16:36 +0200 *** empty log message ***
mehta [Tue, 06 Apr 2004 16:16:36 +0200] rev 14525
*** empty log message ***
Tue, 06 Apr 2004 16:10:39 +0200 *** empty log message ***
mehta [Tue, 06 Apr 2004 16:10:39 +0200] rev 14524
*** empty log message ***
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip