isabelle: Changelog

haftmann [Mon, 23 Apr 2007 16:38:40 +0200] rev 22767

initial commit

huffman [Sat, 21 Apr 2007 19:32:32 +0200] rev 22766

faster proof of wf_eq_minimal

wenzelm [Sat, 21 Apr 2007 11:07:45 +0200] rev 22765

export get_sort (belongs to Syntax module);

wenzelm [Sat, 21 Apr 2007 11:07:44 +0200] rev 22764

TypeExt.decode_term;

wenzelm [Sat, 21 Apr 2007 11:07:42 +0200] rev 22763

added decode_term (belongs to Syntax module);

urbanc [Sat, 21 Apr 2007 01:34:15 +0200] rev 22762

tuned the setup of fresh_fun

haftmann [Fri, 20 Apr 2007 17:58:27 +0200] rev 22761

defs are added to code data

haftmann [Fri, 20 Apr 2007 17:58:26 +0200] rev 22760

repaired value restriction problem

haftmann [Fri, 20 Apr 2007 17:58:25 +0200] rev 22759

reverted to classical syntax for K_record

haftmann [Fri, 20 Apr 2007 17:58:24 +0200] rev 22758

tuned

isabelle