From: Cezary Kaliszyk <cek@colo12-c703.uibk.ac.at>
Date: Thu, 22 Aug 2013 13:53:08 +0000 (+0200)
Subject: Empty commit
X-Git-Url: http://colo12-c703.uibk.ac.at/git/?p=Model%20of%20HOL%2F.git;a=commitdiff_plain;h=8c50d27477d8427d370cdd43de69267e439854bc

Empty commit
---