]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - mainActivity/bin/resources.ap_
Dirty hack to improve size computation for hypotheses.
[logicplayer.git] / mainActivity / bin / resources.ap_
index 15a9ba054c320260fd16bd70ae192000b3b8875d..cb80daa276bb2e40b39eab4e3691b2777a1f8152 100644 (file)
Binary files a/mainActivity/bin/resources.ap_ and b/mainActivity/bin/resources.ap_ differ