| Tue, 21 Apr 2020 22:19:59 +0200 | wenzelm | clarified signature: avoid clash with Isabelle/Scala Term.OFCLASS on case-insensible file-system; | file | diff | annotate |
| 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 |