Nominal/Parser.thy
Wed, 10 Mar 2010 15:34:13 +0100 Cezary Kaliszyk Undoing mistakenly committed parser experiments.
Wed, 10 Mar 2010 15:32:51 +0100 Cezary Kaliszyk alpha_eqvt for recursive term1.
Wed, 10 Mar 2010 13:10:00 +0100 Cezary Kaliszyk Linked parser to fv and alpha.
Wed, 10 Mar 2010 12:48:38 +0100 Christian Urban parser produces ordered bn-fun information
less more (0) -10 -4 tip