https://github.com/theoremprover-museum/CLIN
Tip revision: e7082fbde3634286f458d64846699ae488fe18f3 authored by Michael Kohlhase on 22 December 2016, 09:28:55 UTC
initial commit, thanks to David Plaisted
initial commit, thanks to David Plaisted
Tip revision: e7082fb
Quintus_2.old
%%% version 2.05.8
%%% initial version
%%%
load_file(X) :-
no_style_check(single_var),
compile(X).
:- initialization(op(900,fy,[not])).
:- initialization(op(30,fx,[@])).
:- initialization(op(100,xfy,[&])).
:- initialization(op(120,xfy,[#])).
:- initialization(op(150,xfx,[=>,<=>])).