Christian Urban <urbanc@in.tum.de> [Wed, 16 Mar 2011 21:14:43 +0100] rev 2747
precise path to LaTeXsugar
Christian Urban <urbanc@in.tum.de> [Wed, 16 Mar 2011 21:07:50 +0100] rev 2746
a lit bit more on the pearl-jv paper
Christian Urban <urbanc@in.tum.de> [Wed, 16 Mar 2011 20:42:14 +0100] rev 2745
ported changes from function package....needs Isabelle 16 March or above
Christian Urban <urbanc@in.tum.de> [Tue, 15 Mar 2011 00:40:39 +0100] rev 2744
more on the pearl paper
Christian Urban <urbanc@in.tum.de> [Mon, 14 Mar 2011 16:35:59 +0100] rev 2743
equivariance for All and Ex can be proved in terms of their definition
Christian Urban <urbanc@in.tum.de> [Fri, 11 Mar 2011 08:51:39 +0000] rev 2742
more on the paper
Christian Urban <urbanc@in.tum.de> [Tue, 08 Mar 2011 09:07:49 +0000] rev 2741
merged
Christian Urban <urbanc@in.tum.de> [Tue, 08 Mar 2011 09:07:27 +0000] rev 2740
more on the pearl paper
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Mar 2011 16:07:56 +0900] rev 2739
distinct names at toplevel
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Mar 2011 12:49:01 +0900] rev 2738
merge
Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 02 Mar 2011 12:48:00 +0900] rev 2737
Pairing function
Christian Urban <urbanc@in.tum.de> [Wed, 02 Mar 2011 00:06:28 +0000] rev 2736
updated pearl papers
Christian Urban <urbanc@in.tum.de> [Tue, 01 Mar 2011 00:14:02 +0000] rev 2735
a bit more tuning
Christian Urban <urbanc@in.tum.de> [Mon, 28 Feb 2011 16:47:13 +0000] rev 2734
included old test cases for perm_simp into ROOT.ML file
Christian Urban <urbanc@in.tum.de> [Mon, 28 Feb 2011 15:21:10 +0000] rev 2733
split the library into a basics file; merged Nominal_Eqvt into Nominal_Base