Mercurial Mercurial > wneuper > isa / diff
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
src/HOL/Tools/Qelim/ferrante_rackoff.ML
changeset 24584 01e83ffa6c54
parent 23567 28c6a0118818
child 30304 d8e4cd2ac2a1 
     1.1 --- a/src/HOL/Tools/Qelim/ferrante_rackoff.ML	Sat Sep 15 19:26:28 2007 +0200
     1.2 +++ b/src/HOL/Tools/Qelim/ferrante_rackoff.ML	Sat Sep 15 19:27:35 2007 +0200
     1.3 @@ -1,4 +1,4 @@
     1.4 -(* Title:      HOL/Tools/ferrante_rackoff.ML
     1.5 +(* Title:      HOL/Tools/Qelim/ferrante_rackoff.ML
     1.6     ID:         $Id$
     1.7     Author:     Amine Chaieb, TU Muenchen
     1.8
wneuper/isa