Skip to content
Snippets Groups Projects
Commit 93cd9267 authored by hondet's avatar hondet
Browse files

moved rat_generalised moved, correct deps

parent ef4ad0f5
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
paper/proof_irr.lp
+ 1
− 1
View file @ 93cd9267
require open personoj.encodings.lhol
require open personoj.encodings.pvs_cert
require open personoj.encodings.bool_hol
require open personoj.encodings.logical
set declared "ℕ"
......
paper/stack.lp
+ 1
− 1
View file @ 93cd9267
require open personoj.encodings.lhol
require open personoj.encodings.pvs_cert
require open personoj.encodings.bool_hol
require open personoj.encodings.logical
constant symbol stack: Set
constant symbol empty: El stack
......
paper/rat_generalised.lp → sandbox/rat_generalised.lp
+ 0
− 0
View file @ 93cd9267
File moved
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