Tue Mar 13 15:29:16 UTC 2012  mantoniotti@common-lisp.net
  * Added TIMESTAMP.
diff -rN -u old-cl-unification-1/TIMESTAMP new-cl-unification-1/TIMESTAMP
--- old-cl-unification-1/TIMESTAMP	1970-01-01 00:00:00.000000000 +0000
+++ new-cl-unification-1/TIMESTAMP	2013-07-24 17:31:05.000000000 +0000
@@ -0,0 +1 @@
+20120116