Christian Urban <urbanc@in.tum.de> [Tue, 20 Apr 2010 08:57:13 +0200] rev 1901
removed dead code (nominal cannot deal with argument types of constructors that are functions)
Christian Urban <urbanc@in.tum.de> [Tue, 20 Apr 2010 08:45:53 +0200] rev 1900
added comment about abstraction in raw permuations
Christian Urban <urbanc@in.tum.de> [Tue, 20 Apr 2010 07:44:47 +0200] rev 1899
optimised the code of define_raw_perm
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 17:26:07 +0200] rev 1898
deleting function perm_arg in favour of the library function mk_perm
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 16:55:57 +0200] rev 1897
merged
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 16:55:36 +0200] rev 1896
tuned; fleshed out some library functions about permutations; closed Datatype_Aux structure (increases readability)
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 16:19:17 +0200] rev 1895
FSet is a semi-lattice
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:54:55 +0200] rev 1894
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:54:38 +0200] rev 1893
Putting FSet in bot typeclass.
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:33:19 +0200] rev 1892
reorder
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 15:37:54 +0200] rev 1891
merged
Christian Urban <urbanc@in.tum.de> [Mon, 19 Apr 2010 15:37:33 +0200] rev 1890
small updates to the paper; remaining points in PAPER-TODO
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:28:57 +0200] rev 1889
sub_list definition and respects
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 19 Apr 2010 15:08:29 +0200] rev 1888
Alternate list_eq and equivalence