theory aaa imports Main
begin

record ('a, 'v, 'r) tables =
  trees :: "('a * 'v * 'r) list set"

print_classes