Christian Urban <urbanc@in.tum.de> [Sun, 14 Nov 2010 01:00:56 +0000] rev 2563
lifted permute_bn simp rules
Christian Urban <urbanc@in.tum.de> [Sat, 13 Nov 2010 22:23:26 +0000] rev 2562
lifted permute_bn constants
Christian Urban <urbanc@in.tum.de> [Sat, 13 Nov 2010 10:25:03 +0000] rev 2561
respectfulness for permute_bn functions
Christian Urban <urbanc@in.tum.de> [Fri, 12 Nov 2010 01:20:53 +0000] rev 2560
automated permute_bn functions (raw ones first)
Christian Urban <urbanc@in.tum.de> [Wed, 10 Nov 2010 13:46:21 +0000] rev 2559
adapted to changes by Florian on the quotient package and removed local fix for function package
Christian Urban <urbanc@in.tum.de> [Wed, 10 Nov 2010 13:40:46 +0000] rev 2558
expanded the paper by uncommenting the comments and adding the appendix
Christian Urban <urbanc@in.tum.de> [Sun, 07 Nov 2010 11:22:31 +0000] rev 2557
fixed locally the problem with the function package; all tests work again
Christian Urban <urbanc@in.tum.de> [Sat, 06 Nov 2010 06:18:41 +0000] rev 2556
added a test about subtyping; disabled two tests, because of problem with function package
Christian Urban <urbanc@in.tum.de> [Fri, 05 Nov 2010 15:21:10 +0000] rev 2555
small typo
Christian Urban <urbanc@in.tum.de> [Fri, 29 Oct 2010 15:37:24 +0100] rev 2554
squeezed qpaper to 6 pages