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

Empty commit
---