# HG changeset patch
# User wenzelm
# Date 925202682 -7200
# Node ID 18e113be12eeb37259213a1530bcba0dff787abd
# Parent  381fb2b084a4892b21027f3bee9312d3cb8d7eea
hol_setup, simpdata_setup;

diff -r 381fb2b084a4 -r 18e113be12ee src/HOL/Ord.thy
--- a/src/HOL/Ord.thy	Tue Apr 27 10:44:17 1999 +0200
+++ b/src/HOL/Ord.thy	Tue Apr 27 10:44:42 1999 +0200
@@ -9,10 +9,11 @@
 Ord = HOL +
 
 (*FIXME move to HOL.thy*)
-setup attrib_setup
+setup hol_setup
 setup Classical.setup
 setup Blast.setup
 setup Clasimp.setup
+setup simpdata_setup
 
 
 axclass