| 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 |