?  search:
summary | log | graphiclog1 | graphiclog2 | commit | commitdiff | tree | refs | edit | fork
blame | history | raw | HEAD
Inductive definition of learnable
[rttp-proofs.git] / ROOT
bloba076885fe5e5c3979bbc3a90d3395dbf1b4cebd8
1 session "RTTP" = "HOL" +
2   options [document = pdf, document_output = "output"]
3   theories [document = false]
4     (* Foo *)
5     (* Bar *)
6   theories
7     (* Baz *)
8     RTTP
9   document_files
10     "root.tex"
This is intended to be a computer-verifiable (but somewhat human-readable) collection of proofs that RTTP has certain properties.