Admin/MacOS/isabelle.icns
author haftmann
Tue, 21 Sep 2010 15:46:06 +0200
changeset 39605 6dc866b9c548
parent 29136 de5b29c25af9
permissions -rw-r--r--
reject term variables explicitly

(binary:application/octet-stream)