(module proof-signatures mzscheme

  (require (lib "unit.ss"))

  (provide proof-interfaces^
           proof-language^
           proof-frame^
           proof-text^
           proof-tab^
           proof-controller^)

  (define-signature proof-interfaces^
    (proof-language<%>
     proof-frame<%>
     proof-text<%>
     proof-tab<%>
     proof-controller<%>))

  (define-signature proof-language^
    (proof-language?
     proof-language-mixin))

  (define-signature proof-frame^
    (proof-frame-mixin))

  (define-signature proof-text^
    (proof-text-mixin))

  (define-signature proof-tab^
    (proof-tab-mixin))

  (define-signature proof-controller^
    (proof-controller%))

  )