isabelle: Changelog

fleuriot [Thu, 05 Oct 2000 14:04:56 +0200] rev 10156

Updated README file for HOL/Real

wenzelm [Wed, 04 Oct 2000 22:21:10 +0200] rev 10155

new 'THEN' syntax;

wenzelm [Wed, 04 Oct 2000 21:06:01 +0200] rev 10154

tuned;

wenzelm [Wed, 04 Oct 2000 21:05:42 +0200] rev 10153

added more stuff;

wenzelm [Wed, 04 Oct 2000 21:05:10 +0200] rev 10152

improved @;

wenzelm [Wed, 04 Oct 2000 20:57:32 +0200] rev 10151

'THEN', 'COMP': improved optional position arg;

wenzelm [Wed, 04 Oct 2000 20:55:57 +0200] rev 10150

added "bracks";

nipkow [Wed, 04 Oct 2000 17:35:45 +0200] rev 10149

*** empty log message ***

Tue, 03 Oct 2000 22:39:49 +0200 Hoare logic in Isar;

wenzelm [Tue, 03 Oct 2000 22:39:49 +0200] rev 10148

Hoare logic in Isar;

wenzelm [Tue, 03 Oct 2000 22:37:16 +0200] rev 10147

tuned deps;

isabelle