Nominal/FROOT.ML
author Cezary Kaliszyk <cezarykaliszyk@gmail.com>
Thu, 09 Feb 2012 14:47:24 +0100 (2012-02-09)
changeset 3118 c9633254a4ec
parent 3116 6968fd7507de
permissions -rw-r--r--
minor


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