isabelle: Changelog

haftmann [Mon, 23 Oct 2006 11:05:08 +0200] rev 21092

added example with split

haftmann [Mon, 23 Oct 2006 11:05:07 +0200] rev 21091

cleanup in ML setup code

haftmann [Mon, 23 Oct 2006 11:05:06 +0200] rev 21090

added option of Haskell serializer

haftmann [Mon, 23 Oct 2006 11:05:05 +0200] rev 21089

continued

berghofe [Mon, 23 Oct 2006 00:52:15 +0200] rev 21088

Added freshness context to FCBs.

berghofe [Mon, 23 Oct 2006 00:51:16 +0200] rev 21087

Adapted to changes in FCBs.

berghofe [Mon, 23 Oct 2006 00:48:45 +0200] rev 21086

Added Compile and Height examples.

berghofe [Mon, 23 Oct 2006 00:47:25 +0200] rev 21085

Added Compile and Height examples to Nominal directory.

haftmann [Fri, 20 Oct 2006 18:22:24 +0200] rev 21084

removed antisym_setup.ML

haftmann [Fri, 20 Oct 2006 18:20:22 +0200] rev 21083

cleaned up

isabelle