src/Pure/theory.ML
1996-03-05 paulson Addition of oracles
1996-02-29 paulson New file of just the theory primitives
less more (0) tip