changeset 30738 | 0842e906300c |
parent 28562 | 4e74209f113e |
child 33431 | af516ed40e72 |
--- a/src/HOL/Library/Sublist_Order.thy Fri Mar 27 10:05:08 2009 +0100 +++ b/src/HOL/Library/Sublist_Order.thy Fri Mar 27 10:05:11 2009 +0100 @@ -1,13 +1,12 @@ (* Title: HOL/Library/Sublist_Order.thy - ID: $Id$ Authors: Peter Lammich, Uni Muenster <peter.lammich@uni-muenster.de> - Florian Haftmann, TU München + Florian Haftmann, TU Muenchen *) header {* Sublist Ordering *} theory Sublist_Order -imports Plain "~~/src/HOL/List" +imports Main begin text {*