]> matita.cs.unibo.it Git - logicplayer.git/blobdiff - mainActivity/bin/classes.dex
Dirty hack to improve size computation for hypotheses.
[logicplayer.git] / mainActivity / bin / classes.dex
index 6c653250a9f66bc8037c0224044fe90ce8ff24ac..2655b97a657bba718d683c4b3c9857bfb65daa0c 100644 (file)
Binary files a/mainActivity/bin/classes.dex and b/mainActivity/bin/classes.dex differ