| author | blanchet |
| Tue, 10 Jul 2012 23:36:03 +0200 | |
| changeset 49249 | 06216c789ac9 |
| child 49250 | 40655464a93b |
| permissions | -rw-r--r-- |
| blanchet@49249 | 1 |
(* Title: HOL/TPTP/MaSh_Import.thy |
| blanchet@49249 | 2 |
Author: Jasmin Blanchette, TU Muenchen |
| blanchet@49249 | 3 |
*) |
| blanchet@49249 | 4 |
|
| blanchet@49249 | 5 |
header {* MaSh Importer *}
|
| blanchet@49249 | 6 |
|
| blanchet@49249 | 7 |
theory MaSh_Import |
| blanchet@49249 | 8 |
imports MaSh_Export |
| blanchet@49249 | 9 |
uses "mash_import.ML" |
| blanchet@49249 | 10 |
begin |
| blanchet@49249 | 11 |
|
| blanchet@49249 | 12 |
end |