isabelle: Changelog

huffman [Wed, 30 Nov 2005 00:53:30 +0100] rev 18289

add constant unit_when

wenzelm [Wed, 30 Nov 2005 00:46:08 +0100] rev 18288

proper treatment of tuple/tuple_fun -- nest to the left!

wenzelm [Tue, 29 Nov 2005 23:00:20 +0100] rev 18287

moved nth_list to Pure/library.ML;

wenzelm [Tue, 29 Nov 2005 23:00:03 +0100] rev 18286

added nth_list;

wenzelm [Tue, 29 Nov 2005 22:52:19 +0100] rev 18285

added mk_split;

urbanc [Tue, 29 Nov 2005 19:26:38 +0100] rev 18284

changed the order of the induction variable and the context in lam_induct (test to see whether it simplifies the code for nominal_induct).

wenzelm [Tue, 29 Nov 2005 18:09:12 +0100] rev 18283

reworked version with proper support for defs, fixes, fresh specification;

haftmann [Tue, 29 Nov 2005 16:05:10 +0100] rev 18282

added haskell serializer

haftmann [Tue, 29 Nov 2005 16:04:57 +0100] rev 18281

exported customized syntax interface

berghofe [Tue, 29 Nov 2005 12:26:22 +0100] rev 18280

Corrected atom class constraints in strong induction rule.

isabelle