Add a drop rule to SestoftGC
[darcs-mirror-isa-launchbury.git] / Launchbury / FTreeAnalysisSig.thy
1 theory FTreeAnalysisSig
2 imports Arity  "FTree-HOLCF"  AnalBinds
3 begin
4
5 locale FTreeAnalysis =
6  fixes Fexp :: "exp \<Rightarrow> Arity \<rightarrow> var ftree"
7 begin
8   sublocale Fexp!: ExpAnalysis Fexp.
9   abbreviation "FBinds == Fexp.AnalBinds"
10 end
11
12 end