sireum/core — pull request #7 by fgwei (2014-04-12 03:17:44+00:00)
Title: modified amandroid.scala

Modified Amandroid.scala