nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 09:31:38 +0100] rev 1538

Working on TySch strong induction.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 09:03:10 +0100] rev 1537

Something is wrong with the statement of strong induction for TySch, as the All case is trivial and Fun case unprovable...

Christian Urban <urbanc@in.tum.de> [Fri, 19 Mar 2010 09:40:57 +0100] rev 1536

merged

Christian Urban <urbanc@in.tum.de> [Fri, 19 Mar 2010 09:40:34 +0100] rev 1535

more tuning on the paper

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 08:31:43 +0100] rev 1534

The nominal infrastructure for fset. 'fs' missing, but not needed so far.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 06:55:17 +0100] rev 1533

A few more theorems in FSet.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 00:36:08 +0100] rev 1532

merge 2

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 00:35:58 +0100] rev 1531

merge 1

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Mar 2010 00:35:20 +0100] rev 1530

support of fset_to_set, support of fmap_atom.

Christian Urban <urbanc@in.tum.de> [Thu, 18 Mar 2010 23:39:48 +0100] rev 1529

merged

nominal2