src/Pure/pure_thy.scala
4 months ago wenzelm 2019-07-20 more operations: support type classes within the logic;
5 months ago wenzelm 2019-06-24 support abstract syntax for proof terms (see src/Pure/Proofs/proof_syntax.ML);
16 months ago wenzelm 2018-08-04 more Pure theory content;
16 months ago wenzelm 2018-08-03 Pure theory content;