]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/images/pert_new.png
the case Appl Meta vs t was not executed in case t was a Constant,Mutcase,Cofix,Fix...
[helm.git] / helm / mowgli / home / images / pert_new.png
index 4f26842f01213b2e54b1fd3c258c1decaebe60ac..b84e1bf67395ce625d93ee87139526afd8b1e0d9 100644 (file)
Binary files a/helm/mowgli/home/images/pert_new.png and b/helm/mowgli/home/images/pert_new.png differ