| Sun, 21 Jul 2019 15:19:07 +0200 | wenzelm | global declaration of abstract syntax for proof terms, with qualified names; | file | diff | annotate |
| Sat, 20 Jul 2019 14:03:51 +0200 | wenzelm | more operations: support type classes within the logic; | file | diff | annotate |
| Mon, 24 Jun 2019 16:26:25 +0200 | wenzelm | support abstract syntax for proof terms (see src/Pure/Proofs/proof_syntax.ML); | file | diff | annotate |
| Sat, 04 Aug 2018 15:49:54 +0200 | wenzelm | more Pure theory content; | file | diff | annotate |
| Fri, 03 Aug 2018 14:08:33 +0200 | wenzelm | Pure theory content; | file | diff | annotate |