Mon, 12 Mar 2007 16:25:39 +0100 | narboux | removes some unused code that used to try to derive a simpler version of the eqvt lemmas | file | diff | annotate |
Tue, 06 Mar 2007 15:28:22 +0100 | urbanc | major update of the nominal package; there is now an infrastructure | file | diff | annotate |
Thu, 08 Feb 2007 17:22:22 +0100 | urbanc | added get-functions | file | diff | annotate |
Tue, 06 Feb 2007 15:12:18 +0100 | urbanc | fixed two stupid bugs of SML to do with the value restriction and missing type | file | diff | annotate |
Tue, 06 Feb 2007 00:41:54 +0100 | urbanc | moved the infrastructure from the nominal_tags file to nominal_thmdecls | file | diff | annotate |