src/HOL/Orderings.thy
changeset 23263 0c227412b285
parent 23247 b99dce43d252
child 23417 42c1a89b45c1
     1.1 --- a/src/HOL/Orderings.thy	Tue Jun 05 19:22:01 2007 +0200
     1.2 +++ b/src/HOL/Orderings.thy	Tue Jun 05 19:23:09 2007 +0200
     1.3 @@ -7,6 +7,9 @@
     1.4  
     1.5  theory Orderings
     1.6  imports HOL
     1.7 +uses
     1.8 +  (*"~~/src/Provers/quasi.ML"*)
     1.9 +  "~~/src/Provers/order.ML"
    1.10  begin
    1.11  
    1.12  subsection {* Order syntax *}