nominal2: Changelog

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

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

more tuning on the paper

Christian Urban <urbanc@in.tum.de> [Thu, 18 Mar 2010 23:38:01 +0100] rev 1527

added item about size functions

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Mar 2010 23:20:46 +0100] rev 1526

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Thu, 18 Mar 2010 23:19:55 +0100] rev 1525

Reached strong_induction in fset-based TySch. Will not work until isabelle changes are pushed.

nominal2