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/?a=commitdiff_plain;h=refs%2Fheads%2Fmaster;p=Model%20of%20HOL%2F.git

Empty commit
---