nominal2: Changelog

Mercurial Mercurial > hg > nominal2 / changelog

Tue, 25 Aug 2009 17:37:50 +0200 Changed to the use of "modern interface"

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 Aug 2009 17:37:50 +0200] rev 9

Changed to the use of "modern interface" (removed the _cmd and passing of strings) Fixed Trueprop handling and the first proof starts working properly.

Tue, 25 Aug 2009 14:37:11 +0200 Initial version of the function that builds goals.

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 Aug 2009 14:37:11 +0200] rev 8

Initial version of the function that builds goals.

Tue, 25 Aug 2009 10:35:28 +0200 - Build an interpretation for fset from ML level and use it

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Tue, 25 Aug 2009 10:35:28 +0200] rev 7

- Build an interpretation for fset from ML level and use it - Added CARD

Tue, 25 Aug 2009 00:30:23 +0200 added the prove command

changeset

Christian Urban <urbanc@in.tum.de> [Tue, 25 Aug 2009 00:30:23 +0200] rev 6

added the prove command

Fri, 21 Aug 2009 13:56:20 +0200 Fixed

changeset

Cezary Kaliszyk <kaliszyk@in.tum.de> [Fri, 21 Aug 2009 13:56:20 +0200] rev 5

Fixed

Fri, 21 Aug 2009 13:36:58 +0200 tuned

changeset

Christian Urban <urbanc@in.tum.de> [Fri, 21 Aug 2009 13:36:58 +0200] rev 4

tuned

Thu, 20 Aug 2009 14:44:29 +0200 UNION - Append theorem

changeset

cek@localhost.localdomain [Thu, 20 Aug 2009 14:44:29 +0200] rev 3

UNION - Append theorem

Thu, 20 Aug 2009 10:31:44 +0200 update

changeset

Christian Urban <urbanc@in.tum.de> [Thu, 20 Aug 2009 10:31:44 +0200] rev 2

update

Tue, 18 Aug 2009 14:04:51 +0200 updated slightly

changeset

Christian Urban <urbanc@in.tum.de> [Tue, 18 Aug 2009 14:04:51 +0200] rev 1

updated slightly

Tue, 11 Aug 2009 12:29:15 +0200 initial commit

changeset

Christian Urban <urbanc@in.tum.de> [Tue, 11 Aug 2009 12:29:15 +0200] rev 0

initial commit

(0) +30 +50 +100 +300 +1000 +3000 tip

nominal2

RSS Atom