Fri, 23 Jul 2010 16:42:47 +0200 Christian Urban samll changes
Fri, 23 Jul 2010 16:42:00 +0200 Christian Urban made compatible
Fri, 23 Jul 2010 16:41:36 +0200 Christian Urban added
Thu, 22 Jul 2010 08:30:50 +0200 Christian Urban updated to new Isabelle; made FSet more "quiet"
Tue, 20 Jul 2010 06:14:16 +0100 Christian Urban merged
Mon, 19 Jul 2010 08:55:49 +0100 Christian Urban minor
Mon, 19 Jul 2010 16:59:43 +0100 Christian Urban minor polishing
(0) -1000 -300 -100 -30 -10 -7 +7 +10 +30 +100 +300 tip