src/HOL/intr_elim.thy
1996-07-15 paulson 1996-07-15 New dummy .thy files to document dependencies