src/Pure/assumption.ML
2007-05-07 wenzelm 2007-05-07 simplified DataFun interfaces;
2006-12-06 wenzelm 2006-12-06 export: added explicit term operation; tuned export_morphism -- lean closure;
2006-11-30 wenzelm 2006-11-30 qualified MetaSimplifier.norm_hhf(_protect);
2006-11-29 wenzelm 2006-11-29 assms_of: cterm;
2006-11-24 wenzelm 2006-11-24 added export_morphism;
2006-08-02 wenzelm 2006-08-02 simplified export: no Seq.seq; normalized Proof.context/method type aliases;
2006-07-27 wenzelm 2006-07-27 Local assumptions, parameterized by export rules.