Literature/core-has-tech-rep.pdf
author Christian Urban <urbanc@in.tum.de>
Wed, 29 Sep 2010 09:47:26 -0400 (2010-09-29)
changeset 2500 3b6a70e73006
parent 1772 48c2eb84d5ce
permissions -rw-r--r--
worked example Foo1 with induct_schema
(binary:application/pdf)