Main is implicitly imported via Sublist
authorChristian Sternagel
Thu Aug 30 13:06:04 2012 +0900 (2012-08-30)
changeset 490885cd8b4426a57
parent 49087 7a17ba4bc997
child 49089 cd73b439cbe5
Main is implicitly imported via Sublist
src/HOL/Library/Sublist.thy
src/HOL/Library/Sublist_Order.thy
     1.1 --- a/src/HOL/Library/Sublist_Order.thy	Thu Aug 30 13:05:11 2012 +0900
     1.2 +++ b/src/HOL/Library/Sublist_Order.thy	Thu Aug 30 13:06:04 2012 +0900
     1.3 @@ -6,9 +6,7 @@
     1.4  header {* Sublist Ordering *}
     1.5  
     1.6  theory Sublist_Order
     1.7 -imports
     1.8 -  Main
     1.9 -  Sublist
    1.10 +imports Sublist
    1.11  begin
    1.12  
    1.13  text {*