Admin/components/nonfree
author nipkow
Tue, 15 Jul 2025 21:18:04 +0100
changeset 82862 5a77044eaab2
parent 69386 7bcad752857d
permissions -rw-r--r--
added lemmas

#special components for internal testing only
yices-1.0.28