Thu, 03 Jul 2008 18:16:40 +0200 add Infinite_Set and Zorn back in (since they are no longer included in main HOL image)
huffman [Thu, 03 Jul 2008 18:16:40 +0200] rev 27475
add Infinite_Set and Zorn back in (since they are no longer included in main HOL image)
Thu, 03 Jul 2008 18:15:39 +0200 move proofs of add_left_cancel and add_right_cancel into the correct locale
huffman [Thu, 03 Jul 2008 18:15:39 +0200] rev 27474
move proofs of add_left_cancel and add_right_cancel into the correct locale
Thu, 03 Jul 2008 18:03:10 +0200 cvsps -v (verbose);
wenzelm [Thu, 03 Jul 2008 18:03:10 +0200] rev 27473
cvsps -v (verbose);
Thu, 03 Jul 2008 17:58:10 +0200 removed nonstandard analysis theories to HOL-NSA
huffman [Thu, 03 Jul 2008 17:58:10 +0200] rev 27472
removed nonstandard analysis theories to HOL-NSA
Thu, 03 Jul 2008 17:57:01 +0200 moved theories to HOL/NSA
huffman [Thu, 03 Jul 2008 17:57:01 +0200] rev 27471
moved theories to HOL/NSA
Thu, 03 Jul 2008 17:53:39 +0200 add HOL-NSA
huffman [Thu, 03 Jul 2008 17:53:39 +0200] rev 27470
add HOL-NSA
Thu, 03 Jul 2008 17:51:53 +0200 use patched cvsps to workaround loss of "foo: bar;" log entries;
wenzelm [Thu, 03 Jul 2008 17:51:53 +0200] rev 27469
use patched cvsps to workaround loss of "foo: bar;" log entries;
Thu, 03 Jul 2008 17:47:22 +0200 move nonstandard analysis theories to NSA directory
huffman [Thu, 03 Jul 2008 17:47:22 +0200] rev 27468
move nonstandard analysis theories to NSA directory
Thu, 03 Jul 2008 15:37:10 +0200 back to default style, which shows files in changelog view;
wenzelm [Thu, 03 Jul 2008 15:37:10 +0200] rev 27467
back to default style, which shows files in changelog view;
Thu, 03 Jul 2008 15:13:59 +0200 added description;
wenzelm [Thu, 03 Jul 2008 15:13:59 +0200] rev 27466
added description;
(0) -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip