{"head":"a7c47d99d012272def58768f26f9688ff0840b73","size":3,"push_id":45619443,"shas":[["9bb8aca2004da574b204c8a4910fb32197f21239","42e3d96910f922bdd7dd1805fe3f8aff634f391d@koen-desktop.(none)","nu funkar det","Koen Claessen"],["b99b4acd332ed786aa9c039bceb9f49f2411ecb7","42e3d96910f922bdd7dd1805fe3f8aff634f391d@koen-desktop.(none)","utan naturliga tal, med funktion","koen@chalmers.se"],["a7c47d99d012272def58768f26f9688ff0840b73","42e3d96910f922bdd7dd1805fe3f8aff634f391d@koen-desktop.(none)","added \"min\", for finite models","koen@chalmers.se"]],"ref":"refs/heads/master"}