Nominal/FROOT.ML
author Cezary Kaliszyk <cezarykaliszyk@gmail.com>
Thu, 29 Mar 2012 10:37:41 +0200
changeset 3142 4d01d1056e22
parent 3116 6968fd7507de
permissions -rw-r--r--
Induction for Aux



no_document use_thys
   ["Nominal2",
    "Atoms",
    "Eqvt"
   ];