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