src/HOL/intr_elim.thy
author paulson
Thu Jan 08 18:10:34 1998 +0100 (1998-01-08)
changeset 4537 4e835bd9fada
parent 4084 aa29a521e594
permissions -rw-r--r--
Expressed most Oops rules using Notes instead of Says, and other tidying
     1 
     2 intr_elim = Nat