src/Pure/Isar/obtain.ML
2000-03-30 ago ProofContext.find_free;
2000-03-21 ago handle general case: params and hyps of thesis;
2000-01-06 ago obtain: renamed 'in' to 'where';
2000-01-05 ago ObtainFun;
1999-10-22 ago warn_extra_tfrees;
1999-10-01 ago tuned comment;
1999-10-01 ago The 'obtain' language element -- achieves (eliminated) existential