Nominal/FSet.thy
Thu, 14 Oct 2010 04:14:22 +0100 Christian Urban major reorganisation of fset (renamed fset_to_set to fset, changed the definition of list_eq and fcard_raw)
Sat, 18 Sep 2010 06:09:43 +0800 Christian Urban updated to Isabelle Sept 16
Thu, 22 Jul 2010 08:30:50 +0200 Christian Urban updated to new Isabelle; made FSet more "quiet"
Mon, 19 Jul 2010 07:49:10 +0100 Christian Urban minor
Sun, 18 Jul 2010 19:07:05 +0100 Christian Urban minor things on the paper
Sun, 18 Jul 2010 16:06:34 +0100 Christian Urban some test with quotient
Wed, 23 Jun 2010 15:40:00 +0100 Christian Urban merged cezary's changes
less more (0) -30 -10 -7 tip