isabelle: Changelog

wenzelm [Thu, 13 Apr 2006 12:01:09 +0200] rev 19431

axclass: old-style concrete syntax for canonical specification format;

wenzelm [Thu, 13 Apr 2006 12:01:08 +0200] rev 19430

ProofDisplay.print_theorems/theory;

wenzelm [Thu, 13 Apr 2006 12:01:07 +0200] rev 19429

added maxidx_of;

wenzelm [Thu, 13 Apr 2006 12:01:06 +0200] rev 19428

tuned;

wenzelm [Thu, 13 Apr 2006 12:01:05 +0200] rev 19427

added typ_equiv; read_class: improved error;

wenzelm [Thu, 13 Apr 2006 12:01:04 +0200] rev 19426

moved print_theorems/theory to Isar/proof_display.ML;

wenzelm [Thu, 13 Apr 2006 12:01:03 +0200] rev 19425

added dest_conjunction_list; close_form: canonical order of variables;

wenzelm [Thu, 13 Apr 2006 12:01:02 +0200] rev 19424

export unflat (again);

wenzelm [Thu, 13 Apr 2006 12:01:01 +0200] rev 19423

use conjunction stuff from conjunction.ML;

wenzelm [Thu, 13 Apr 2006 12:01:00 +0200] rev 19422

expand_atom: Type.raw_match;

isabelle