# HG changeset patch
# User wenzelm
# Date 863431849 -7200
# Node ID 5c9be0158a04815b4c632d1b56138f0b0a07c969
# Parent  065c701c7827743ef849d4d63b3037b511f99c93
fixed dependecy: CPure;

diff -r 065c701c7827 -r 5c9be0158a04 src/HOL/intr_elim.thy
--- a/src/HOL/intr_elim.thy	Fri May 09 19:43:44 1997 +0200
+++ b/src/HOL/intr_elim.thy	Mon May 12 12:10:49 1997 +0200
@@ -1,1 +1,1 @@
-intr_elim = Pure
+intr_elim = CPure