nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 10:16:13 +0100] rev 1204

Added Brian's suggestion.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 22 Feb 2010 09:55:43 +0100] rev 1203

Update TODO

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sun, 21 Feb 2010 22:39:11 +0100] rev 1202

Removed bindings 'in itself' where possible.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Sat, 20 Feb 2010 06:31:03 +0100] rev 1201

Some adaptation

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Feb 2010 17:50:43 +0100] rev 1200

proof cleaning and standardizing.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Feb 2010 16:45:24 +0100] rev 1199

Automatic production and proving of pseudo-injectivity.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Feb 2010 12:05:58 +0100] rev 1198

Experiments for the pseudo-injectivity tactic.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Feb 2010 10:26:38 +0100] rev 1197

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 19 Feb 2010 10:17:35 +0100] rev 1196

Constructing alpha_inj goal.

Christian Urban <urbanc@in.tum.de> [Thu, 18 Feb 2010 23:07:52 +0100] rev 1195

merged

nominal2