Thu, 10 Oct 2019 15:00:36 +0200 | wenzelm | clarified modules; | changeset | files |
Thu, 10 Oct 2019 14:55:26 +0200 | wenzelm | tuned whitespace; | changeset | files |
Thu, 10 Oct 2019 14:53:48 +0200 | wenzelm | more accurate treatment of propositions within proof terms, but these are ultimately ignored for performance reasons; | changeset | files |