update
authorMart Lubbers <mart@martlubbers.net>
Mon, 18 Feb 2019 14:26:02 +0000 (15:26 +0100)
committerMart Lubbers <mart@martlubbers.net>
Mon, 18 Feb 2019 14:26:02 +0000 (15:26 +0100)
commit01bad43f6e31dfb1ff59371ed264e94397745df9
tree1d035d4ce2edca38922049ea749320534043aa7b
parent3842e90cb6c88f3073c433d30b52c3e2985df521
update
afp/a11/a11.icl
afp/a12/cashModel.dcl [new file with mode: 0644]
afp/a12/cashModel.icl [new file with mode: 0644]
afp/a12/gastyStart.dcl [new file with mode: 0644]
afp/a12/gastyStart.icl [new file with mode: 0644]
afp/a12/testCash.icl [new file with mode: 0644]
conj-semantics/Makefile [new file with mode: 0644]
conj-semantics/test.icl [new file with mode: 0644]