log

age author description
Sun, 17 Mar 2013 19:36:10 +0100 Thomas Wuerthinger Removed unused phase.
Sun, 17 Mar 2013 19:20:35 +0100 Thomas Wuerthinger Fix guard canonicalization.
Sun, 17 Mar 2013 17:36:29 +0100 Thomas Wuerthinger Remove unused code in LabelRef.