Commit b473a4d3 authored by charguer's avatar charguer
Browse files

pairing_proof

parent b3678430
# /home/charguer/versions/coq-8.8.2/cfml/generator/makecmj.native -I /home/charguer/versions/coq-8.8.2/cfml/examples/Tour Stack.mli # /home/charguer/versions/coq-8.8.2/cfml/generator/makecmj.native -I /home/charguer/versions/coq-8.8.2/cfml/examples/Tour Stack.mli
# /home/charguer/versions/coq-8.8.2/cfml/generator/main.native -I /home/charguer/versions/coq-8.8.2/cfml/examples/Tour Stack.ml # /home/charguer/versions/coq-8.8.2/cfml/generator/main.native -I /home/charguer/versions/coq-8.8.2/cfml/examples/Tour Stack.ml
# coqc -R /home/charguer/.opam/vocal_8.8.2/lib/coq/user-contrib/CFML/Stdlib CFML.Stdlib -R /home/charguer/versions/coq-8.8.2/cfml/examples/Tour EXAMPLE /home/charguer/versions/coq-8.8.2/cfml/examples/Tour/Stack_ml. # coqc -R /home/charguer/.opam/vocal_8.8.2/lib/coq/user-contrib/CFML/Stdlib CFML.Stdlib -R /home/charguer/versions/coq-8.8.2/cfml/examples/Tour EXAMPLE /home/charguer/versions/coq-8.8.2/cfml/examples/Tour/Stack_ml.v
include ../Makefile.example include ../Makefile.example
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment