nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Apr 2010 10:34:10 +0200] rev 1917

Working lifting of concat with inline proofs of second level preservation.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Apr 2010 10:24:39 +0200] rev 1916

FSet3 cleaning part2

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Apr 2010 10:20:48 +0200] rev 1915

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Apr 2010 10:13:17 +0200] rev 1914

Remove the part already in FSet and leave the experiments

Christian Urban <urbanc@in.tum.de> [Wed, 21 Apr 2010 10:09:07 +0200] rev 1913

merged

Christian Urban <urbanc@in.tum.de> [Wed, 21 Apr 2010 10:08:47 +0200] rev 1912

removed a sorry

Christian Urban <urbanc@in.tum.de> [Tue, 20 Apr 2010 18:24:50 +0200] rev 1911

renamed Ex1.thy to SingleLet.thy

Christian Urban <urbanc@in.tum.de> [Tue, 20 Apr 2010 11:29:00 +0200] rev 1910

tuning of the code

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Apr 2010 09:48:35 +0200] rev 1909

Reorder FSet

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 21 Apr 2010 09:13:55 +0200] rev 1908

merge

nominal2