isabelle: Changelog

mueller [Fri, 16 May 1997 16:08:38 +0200] rev 3218

added Modelcheck example;

wenzelm [Fri, 16 May 1997 15:57:11 +0200] rev 3217

still under construction!

wenzelm [Fri, 16 May 1997 15:55:02 +0200] rev 3216

improved www4 ref;

wenzelm [Fri, 16 May 1997 15:54:04 +0200] rev 3215

fixed infix syntax;

wenzelm [Fri, 16 May 1997 15:53:35 +0200] rev 3214

fixed Modelchek reference;

wenzelm [Fri, 16 May 1997 15:51:11 +0200] rev 3213

SYNC;

wenzelm [Fri, 16 May 1997 15:50:24 +0200] rev 3212

hint at more sections; named infixes;

wenzelm [Fri, 16 May 1997 15:49:27 +0200] rev 3211

added \settdx;

mueller [Fri, 16 May 1997 15:29:41 +0200] rev 3210

Invoking Model Checkers in Isabelle/HOL;

oheimb [Fri, 16 May 1997 13:02:28 +0200] rev 3209

renamed unsafe_addss to addss

isabelle