]> hydra-www.ietfng.org Git - dyna2/commit
nonlinear unification.
authortimv <tim.f.vieira@gmail.com>
Mon, 17 Dec 2012 20:50:06 +0000 (15:50 -0500)
committertimv <tim.f.vieira@gmail.com>
Mon, 17 Dec 2012 20:50:06 +0000 (15:50 -0500)
commita3c011f8d0deef3536e8d8d0f319c8fc37aa2dde
treec156dec594105a4171c0bbbb0642812a66dfaddb
parent9818caa04f6fae4b0122f978ed0351cf9167b2c9
nonlinear unification.
examples/nonlinear.dyna [new file with mode: 0644]