isabelle: Changelog

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

wenzelm [Thu, 03 Jul 2008 18:03:10 +0200] rev 27473

cvsps -v (verbose);

huffman [Thu, 03 Jul 2008 17:58:10 +0200] rev 27472

removed nonstandard analysis theories to HOL-NSA

huffman [Thu, 03 Jul 2008 17:57:01 +0200] rev 27471

moved theories to HOL/NSA

huffman [Thu, 03 Jul 2008 17:53:39 +0200] rev 27470

add HOL-NSA

wenzelm [Thu, 03 Jul 2008 17:51:53 +0200] rev 27469

use patched cvsps to workaround loss of "foo: bar;" log entries;

huffman [Thu, 03 Jul 2008 17:47:22 +0200] rev 27468

move nonstandard analysis theories to NSA directory

wenzelm [Thu, 03 Jul 2008 15:37:10 +0200] rev 27467

back to default style, which shows files in changelog view;

wenzelm [Thu, 03 Jul 2008 15:13:59 +0200] rev 27466

added description;

wenzelm [Thu, 03 Jul 2008 14:52:54 +0200] rev 27465

tuned;

isabelle