Thu, 14 Aug 2014 12:13:24 +0200 | wenzelm | tuned; | changeset | files |
Thu, 14 Aug 2014 11:55:09 +0200 | wenzelm | tuned signature; | changeset | files |
Thu, 14 Aug 2014 11:51:17 +0200 | wenzelm | localized method definitions (see also f14c1248d064); | changeset | files |
Thu, 14 Aug 2014 10:48:40 +0200 | wenzelm | tuned signature -- prefer self-contained user-space tool; | changeset | files |
Thu, 14 Aug 2014 13:21:19 +0200 | desharna | document property 'rel_map' | changeset | files |
Thu, 14 Aug 2014 13:20:54 +0200 | desharna | generate 'rel_map' theorem for BNFs | changeset | files |
Wed, 13 Aug 2014 22:29:43 +0200 | wenzelm | tuned; | changeset | files |