src/Pure/section_utils.ML
1996-01-29 clasohm 1996-01-29 inserted tabs again
1996-01-29 clasohm 1996-01-29 removed tabs
1995-12-08 paulson 1995-12-08 Commented and renamed vars in readtm
1994-10-25 wenzelm 1994-10-25 added require_thy;
1994-09-14 wenzelm 1994-09-14 removed lookup_const (use Sign.const_type instead);
1994-08-25 lcp 1994-08-25 new file of useful things for writing theory sections