src/HOL/indrule.thy
author wenzelm
Thu Jan 23 14:19:16 1997 +0100 (1997-01-23)
changeset 2545 d10abc8c11fb
parent 1862 74d4ae2f6fc3
child 4084 aa29a521e594
permissions -rw-r--r--
added AxClasses test;
paulson@1862
     1
indrule = "intr_elim"