isabelle: Changelog

wenzelm [Mon, 26 Apr 2004 14:57:30 +0200] rev 14675

removed obsolete 'undo';

wenzelm [Mon, 26 Apr 2004 14:56:18 +0200] rev 14674

*** empty log message ***

2004-04-26 use Syntax.is_identifier;

wenzelm [Mon, 26 Apr 2004 14:54:45 +0200] rev 14673

use Syntax.is_identifier;

wenzelm [Mon, 26 Apr 2004 14:53:29 +0200] rev 14672

use ThmDatabase.is_ml_identifier;

wenzelm [Mon, 26 Apr 2004 14:46:47 +0200] rev 14671

added isasymsome;

kleing [Mon, 26 Apr 2004 13:01:37 +0200] rev 14670

add solaris and darwin

paulson [Mon, 26 Apr 2004 11:15:56 +0200] rev 14669

commented

kleing [Mon, 26 Apr 2004 09:14:14 +0200] rev 14668

Isabelle on windoze

kleing [Mon, 26 Apr 2004 09:01:30 +0200] rev 14667

added AFP

wenzelm [Fri, 23 Apr 2004 21:46:04 +0200] rev 14666

improved notation;

isabelle