src/Pure/Isar/proof_context.ML
1999-04-27 wenzelm 1999-04-27 verbose flag;
1999-01-12 wenzelm 1999-01-12 eliminated tthm type and Attribute structure;
1998-11-29 wenzelm 1998-11-29 fixed declatation of patterns and skolem;
1998-11-19 wenzelm 1998-11-19 term_pat vs. prop_pat; added bind_propp(_i); assume: propp;
1998-11-17 wenzelm 1998-11-17 have_tthms; assume: store actual asms;
1998-11-16 wenzelm 1998-11-16 renamed init_context to init; added read_termTs; added declare_thm;
1998-11-09 wenzelm 1998-11-09 Proof context information.