nipkow [Wed, 14 May 2003 14:20:55 +0200] rev 14028
eparation logic - a beginning.
nipkow [Wed, 14 May 2003 11:15:18 +0200] rev 14027
*** empty log message ***
nipkow [Wed, 14 May 2003 10:33:52 +0200] rev 14026
*** empty log message ***
nipkow [Wed, 14 May 2003 10:22:09 +0200] rev 14025
*** empty log message ***
kleing [Tue, 13 May 2003 08:59:21 +0200] rev 14024
HOL-Real -> HOL-Complex
nipkow [Mon, 12 May 2003 19:54:43 +0200] rev 14023
*** empty log message ***
paulson [Mon, 12 May 2003 18:50:07 +0200] rev 14022
tweaked
nipkow [Mon, 12 May 2003 18:42:21 +0200] rev 14021
*** empty log message ***
paulson [Mon, 12 May 2003 18:11:44 +0200] rev 14020
oops
kleing [Mon, 12 May 2003 15:57:46 +0200] rev 14019
different colors for new release
ballarin [Mon, 12 May 2003 15:51:34 +0200] rev 14018
Improved entry on Algebra.
kleing [Mon, 12 May 2003 15:49:37 +0200] rev 14017
no separate x-symbol package
kleing [Mon, 12 May 2003 15:46:35 +0200] rev 14016
Isabelle2002
kleing [Mon, 12 May 2003 15:46:13 +0200] rev 14015
removed new jersey mirror
kleing [Mon, 12 May 2003 15:07:11 +0200] rev 14014
done