nominal2: Changelog

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 27 Jan 2010 14:56:58 +0100] rev 966

Some cleaning of thy vs lthy vs context.

Christian Urban <urbanc@in.tum.de> [Wed, 27 Jan 2010 14:06:34 +0100] rev 965

merged

Christian Urban <urbanc@in.tum.de> [Wed, 27 Jan 2010 14:06:17 +0100] rev 964

tuned comment

Christian Urban <urbanc@in.tum.de> [Wed, 27 Jan 2010 14:05:42 +0100] rev 963

completely ported

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 27 Jan 2010 13:44:05 +0100] rev 962

Another string in the specification.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 27 Jan 2010 13:32:28 +0100] rev 961

Variable takes a 'name'.

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 27 Jan 2010 12:21:40 +0100] rev 960

merge

Cezary Kaliszyk <kaliszyk@in.tum.de> [Wed, 27 Jan 2010 12:19:58 +0100] rev 959

When commenting discovered a missing case of Babs->Abs regularization.

Christian Urban <urbanc@in.tum.de> [Wed, 27 Jan 2010 12:19:21 +0100] rev 958

merged

Christian Urban <urbanc@in.tum.de> [Wed, 27 Jan 2010 12:19:00 +0100] rev 957

mostly ported Terms.thy to new Nominal

nominal2