Francisco Coelho / zugzwang

Blame view

code/asp/pdist.lp 17 Bytes
Edit Raw Normal View History
808facfe   Francisco Coelho   Main text adapted... 
1
 
a; -a.
652cc0d6   Francisco Coelho   updated amartins ... 
2
 
b; c :- a.