Theory Countables

theory Countables
imports Labelings Countable_Generator
(*
Author:  Christian Sternagel <c.sternagel@gmail.com> (2012-2015)
Author:  René Thiemann <rene.thiemann@uibk.ac.at> (2012-2015)
License: LGPL (see file COPYING.LESSER)
*)
theory Countables
imports
  QTRS.Term_More
  QTRS.Labelings
  "Deriving.Countable_Generator"
begin

derive countable "term" lab
 
end