| products/Sources/formale Sprachen/JAVA/Netbeans/ide/editor.structure/src/ (Netbeans IDE Version 28©) |
|
SSL TPTP_Parser.thy Sprache: unbekannt |
||||||
|
(* Title: HOL/TPTP/TPTP_Parser.thy Author: Nik Sultana, Cambridge University Computer Laboratory Parser for TPTP formulas *) theory TPTP_Parser imports Pure begin ML_file ‹TPTP_Parser/ml_yacc_lib.ML› (*generated from ML-Yacc's lib*) ML_file ‹TPTP_Parser/tptp_syntax.ML› ML_file ‹TPTP_Parser/tptp_lexyacc.ML› (*generated from tptp.lex and tptp.yacc*) ML_file ‹TPTP_Parser/tptp_parser.ML› ML_file ‹TPTP_Parser/tptp_problem_name.ML› ML_file ‹TPTP_Parser/tptp_proof.ML› text ‹The TPTP parser was generated using ML-Yacc, and needs the -Yacc library to operate. This library is included with the parser, we include the next section in accordance with ML-Yacc's terms of .› section "ML-YACC COPYRIGHT NOTICE, LICENSE AND DISCLAIMER." text ‹ 1989, 1990 by David R. Tarditi Jr. and Andrew W. Appel to use, copy, modify, and distribute this software and its for any purpose and without fee is hereby granted, that the above copyright notice appear in all copies and that the copyright notice and this permission notice and warranty appear in supporting documentation, and that the names of R. Tarditi Jr. and Andrew W. Appel not be used in advertising or pertaining to distribution of the software without specific, prior permission. R. Tarditi Jr. and Andrew W. Appel disclaim all warranties with to this software, including all implied warranties of and fitness. In no event shall David R. Tarditi . and Andrew W. Appel be liable for any special, indirect or damages or any damages whatsoever resulting from loss of , data or profits, whether in an action of contract, negligence or tortious action, arising out of or in connection with the use or of this software. › end
[Verzeichnis aufwärts0.17unsichere VerbindungÜbersetzung europäischer Sprachen durch Browser2026-09-29] |
||||||
2026-10-10