src/HOL/intr_elim.thy
author wenzelm
Thu Jan 23 14:19:16 1997 +0100 (1997-01-23)
changeset 2545 d10abc8c11fb
parent 1862 74d4ae2f6fc3
child 3153 5c9be0158a04
permissions -rw-r--r--
added AxClasses test;
     1 intr_elim = Pure