]> ruin.nu Git - proglang.git/commit
major update of the natural deduction
authorMichael Andreen <harv@ruin.nu>
Fri, 10 Mar 2006 10:01:30 +0000 (10:01 +0000)
committerMichael Andreen <harv@ruin.nu>
Fri, 10 Mar 2006 10:01:30 +0000 (10:01 +0000)
commit24e5b9e55893195b769efeb58a68ab5d29641638
treefd88d4e96b6666ca4d140b38688760902f70781f
parentfd3bc0ef4542783846af4e2c4f986e94f96c74ff
major update of the natural deduction
documentation