src/HOL/indrule.thy
author wenzelm
Mon Nov 03 12:07:13 1997 +0100 (1997-11-03)
changeset 4084 aa29a521e594
parent 1862 74d4ae2f6fc3
permissions -rw-r--r--
fixed thy dependencies;
     1 
     2 indrule = intr_elim