Fri, 07 Nov 2014 16:22:25 +0100 | wenzelm | proper import for command 'permanent_interpretation'; | changeset | files |
Fri, 07 Nov 2014 16:13:05 +0100 | wenzelm | proper import of Main: BNF_Least_Fixpoint does not "contain pretty much everything", especially it lacks the 'value' command, which is defined *after* theory List; | changeset | files |
Fri, 07 Nov 2014 15:19:30 +0100 | wenzelm | more accurate keywords; | changeset | files |
Thu, 06 Nov 2014 16:10:33 +0100 | wenzelm | tuned signature; | changeset | files |
Thu, 06 Nov 2014 15:47:04 +0100 | wenzelm | more explicit Keyword.keywords; | changeset | files |
Thu, 06 Nov 2014 15:42:34 +0100 | wenzelm | proper Keyword.keywords (cf. 82a71046dce8); | changeset | files |
Thu, 06 Nov 2014 15:05:15 +0100 | wenzelm | prefer explicit Keyword.keywords (cf. 82a71046dce8); | changeset | files |