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