| Fri, 07 Nov 2014 16:51:36 +0100 | wenzelm | tuned; | changeset | files |
| Fri, 07 Nov 2014 16:36:55 +0100 | wenzelm | plain value Keywords.keywords, which might be used outside theory for bootstrap purposes; | changeset | files |
| 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 |