Wed, 09 Oct 2019 23:00:52 +0200 | wenzelm | merged | changeset | files |
Wed, 09 Oct 2019 23:00:12 +0200 | wenzelm | tuned; | changeset | files |
Wed, 09 Oct 2019 22:52:34 +0200 | wenzelm | misc tuning and clarification; | changeset | files |
Wed, 09 Oct 2019 22:22:17 +0200 | wenzelm | tuned; | changeset | files |
Wed, 09 Oct 2019 22:18:23 +0200 | wenzelm | tuned -- allow slightly more expensive atomic proofs; | changeset | files |
Wed, 09 Oct 2019 21:59:56 +0200 | wenzelm | clarified signature -- some operations to support fully explicit proof terms; | changeset | files |