isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Tue, 28 Jul 1998 17:02:41 +0200 added Real structure (taken from SML/NJ basis lib);

changeset

wenzelm [Tue, 28 Jul 1998 17:02:41 +0200] rev 5208

added Real structure (taken from SML/NJ basis lib);

Tue, 28 Jul 1998 16:59:15 +0200 tuned;

changeset

wenzelm [Tue, 28 Jul 1998 16:59:15 +0200] rev 5207

tuned;

Tue, 28 Jul 1998 16:36:32 +0200 Tidied

changeset

paulson [Tue, 28 Jul 1998 16:36:32 +0200] rev 5206

Tidied

Tue, 28 Jul 1998 16:33:43 +0200 Changed "goal" to "Goal"

changeset

paulson [Tue, 28 Jul 1998 16:33:43 +0200] rev 5205

Changed "goal" to "Goal"

Tue, 28 Jul 1998 16:30:56 +0200 Updated examples

changeset

paulson [Tue, 28 Jul 1998 16:30:56 +0200] rev 5204

Updated examples

Mon, 27 Jul 1998 17:38:55 +0200 A little quantifier duplication for IFOL

changeset

paulson [Mon, 27 Jul 1998 17:38:55 +0200] rev 5203

A little quantifier duplication for IFOL

Mon, 27 Jul 1998 16:04:20 +0200 A few new lemmas by Mark Staples

changeset

paulson [Mon, 27 Jul 1998 16:04:20 +0200] rev 5202

A few new lemmas by Mark Staples

Mon, 27 Jul 1998 11:29:33 +0200 tuned;

changeset

wenzelm [Mon, 27 Jul 1998 11:29:33 +0200] rev 5201

tuned;

Mon, 27 Jul 1998 09:18:24 +0200 conversion bug in simpproc list_eq

changeset

nipkow [Mon, 27 Jul 1998 09:18:24 +0200] rev 5200

conversion bug in simpproc list_eq

Fri, 24 Jul 1998 17:55:57 +0200 added ex/MonoidGroups (record example);

changeset

wenzelm [Fri, 24 Jul 1998 17:55:57 +0200] rev 5199

added ex/MonoidGroups (record example); moved Bin and String examples to ex;

Fri, 24 Jul 1998 17:54:58 +0200 added type and update syntax;

changeset

wenzelm [Fri, 24 Jul 1998 17:54:58 +0200] rev 5198

added type and update syntax;

Fri, 24 Jul 1998 17:54:44 +0200 added more_update;

changeset

wenzelm [Fri, 24 Jul 1998 17:54:44 +0200] rev 5197

added more_update; added type and update syntax;

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

isabelle

RSS Atom