isabelle: Changelog

huffman [Tue, 06 Sep 2005 19:22:31 +0200] rev 17290

reimplement Filter.thy with locales

wenzelm [Tue, 06 Sep 2005 19:10:43 +0200] rev 17289

converted to Isar theory format;

wenzelm [Tue, 06 Sep 2005 19:03:39 +0200] rev 17288

converted to Isar theory format;

wenzelm [Tue, 06 Sep 2005 18:49:25 +0200] rev 17287

removed some ML files in Modelcheck/;

wenzelm [Tue, 06 Sep 2005 17:01:32 +0200] rev 17286

updated;

wenzelm [Tue, 06 Sep 2005 17:00:00 +0200] rev 17285

axclass: no longer bind "cI";

wenzelm [Tue, 06 Sep 2005 16:59:59 +0200] rev 17284

deprecated old-style infix declarations, which mix name and syntax;

wenzelm [Tue, 06 Sep 2005 16:59:58 +0200] rev 17283

tuned msg;

wenzelm [Tue, 06 Sep 2005 16:59:57 +0200] rev 17282

AList.defined;

wenzelm [Tue, 06 Sep 2005 16:59:56 +0200] rev 17281

name space prefix is now "c_class" instead of just "c"; export get_info; tuned;

isabelle