src/Pure/pure_thy.scala
10 months ago wenzelm 2019-07-21 global declaration of abstract syntax for proof terms, with qualified names; clarified modules;
10 months ago wenzelm 2019-07-20 more operations: support type classes within the logic;
11 months ago wenzelm 2019-06-24 support abstract syntax for proof terms (see src/Pure/Proofs/proof_syntax.ML);
22 months ago wenzelm 2018-08-04 more Pure theory content;
22 months ago wenzelm 2018-08-03 Pure theory content;