src/Pure/section_utils.ML
1994-08-25 lcp 1994-08-25 new file of useful things for writing theory sections