src/Pure/section_utils.ML
1994-10-25 ago added require_thy;
1994-09-14 ago removed lookup_const (use Sign.const_type instead);
1994-08-25 ago new file of useful things for writing theory sections