Theory Sturm_Sequences.Sturm

(*
  Title: A Formalisation of Sturm's Theorem 
  Author: Manuel Eberl <manuel@pruvisto.org> 
  Maintainer: Manuel Eberl <manuel@pruvisto.org> 
*)
theory Sturm
imports Sturm_Method
begin

end