isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip

Fri, 15 Apr 1994 14:09:12 +0200 penultimate Springer draft

lcp [Fri, 15 Apr 1994 14:09:12 +0200] rev 317

penultimate Springer draft

Fri, 15 Apr 1994 13:33:19 +0200 penultimate Springer draft

lcp [Fri, 15 Apr 1994 13:33:19 +0200] rev 316

penultimate Springer draft

Fri, 15 Apr 1994 13:02:22 +0200 penultimate Springer draft

lcp [Fri, 15 Apr 1994 13:02:22 +0200] rev 315

penultimate Springer draft

Fri, 15 Apr 1994 12:54:22 +0200 penultimate Springer draft

lcp [Fri, 15 Apr 1994 12:54:22 +0200] rev 314

penultimate Springer draft

Fri, 15 Apr 1994 12:42:30 +0200 penultimate Springer draft

lcp [Fri, 15 Apr 1994 12:42:30 +0200] rev 313

penultimate Springer draft

Fri, 15 Apr 1994 12:13:37 +0200 penultimate Springer draft

lcp [Fri, 15 Apr 1994 12:13:37 +0200] rev 312

penultimate Springer draft

Fri, 15 Apr 1994 11:48:23 +0200 penultimate Springer draft

lcp [Fri, 15 Apr 1994 11:48:23 +0200] rev 311

penultimate Springer draft

Fri, 15 Apr 1994 11:35:44 +0200 penultimate Springer draft

lcp [Fri, 15 Apr 1994 11:35:44 +0200] rev 310

penultimate Springer draft

Wed, 06 Apr 1994 16:36:34 +0200 restored the signature constraint :THM

lcp [Wed, 06 Apr 1994 16:36:34 +0200] rev 309

restored the signature constraint :THM

Mon, 04 Apr 1994 17:20:15 +0200 modifications towards final draft

lcp [Mon, 04 Apr 1994 17:20:15 +0200] rev 308

modifications towards final draft

Mon, 04 Apr 1994 17:09:45 +0200 modifications towards final draft

lcp [Mon, 04 Apr 1994 17:09:45 +0200] rev 307

modifications towards final draft

Wed, 30 Mar 1994 17:31:18 +0200 changed lists and added "let" and "case"

nipkow [Wed, 30 Mar 1994 17:31:18 +0200] rev 306

changed lists and added "let" and "case"

(0) -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip

isabelle