src/CTT/ROOT
author wenzelm
Tue, 24 Jul 2012 21:36:53 +0200
changeset 48487 94a9650f79fb
parent 48483 9bfb6978eb80
child 48738 f8c1a5b9488f
permissions -rw-r--r--
tuned order;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
48475
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
     1
session CTT! in "." = Pure +
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
     2
  description {*
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
     3
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
     4
    Copyright   1991  University of Cambridge
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
     5
  *}
48483
9bfb6978eb80 more explicit document = false to reduce warnings;
wenzelm
parents: 48475
diff changeset
     6
  options [document = false]
48475
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
     7
  theories Main
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
     8
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
     9
session ex = CTT +
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
    10
  description {*
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
    11
    Author:     Lawrence C Paulson, Cambridge University Computer Laboratory
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
    12
    Copyright   1991  University of Cambridge
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
    13
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
    14
    Examples for Constructive Type Theory.
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
    15
  *}
48483
9bfb6978eb80 more explicit document = false to reduce warnings;
wenzelm
parents: 48475
diff changeset
    16
  options [document = false]
48475
02dd825f5a4e more session ROOT files;
wenzelm
parents:
diff changeset
    17
  theories Typechecking Elimination Equality Synthesis