isabelle: Changelog

Mercurial Mercurial > repos > isabelle / changelog

Mon, 03 Nov 1997 12:09:37 +0100 adapted to new implicit simpset;

changeset

wenzelm [Mon, 03 Nov 1997 12:09:37 +0100] rev 4086

adapted to new implicit simpset;

Mon, 03 Nov 1997 12:09:20 +0100 adapted to new implicit claset;

changeset

wenzelm [Mon, 03 Nov 1997 12:09:20 +0100] rev 4085

adapted to new implicit claset;

Mon, 03 Nov 1997 12:07:13 +0100 fixed thy dependencies;

changeset

wenzelm [Mon, 03 Nov 1997 12:07:13 +0100] rev 4084

fixed thy dependencies;

Mon, 03 Nov 1997 12:05:42 +0100 aded thy_data;

changeset

wenzelm [Mon, 03 Nov 1997 12:05:42 +0100] rev 4083

aded thy_data;

Mon, 03 Nov 1997 12:04:38 +0100 HOL theory data.

changeset

wenzelm [Mon, 03 Nov 1997 12:04:38 +0100] rev 4082

HOL theory data.

Mon, 03 Nov 1997 12:03:13 +0100 added thy_data.ML;

changeset

wenzelm [Mon, 03 Nov 1997 12:03:13 +0100] rev 4081

added thy_data.ML;

Mon, 03 Nov 1997 11:56:53 +0100 new implicit simpset mechanism based on Sign.sg anytype data;

changeset

wenzelm [Mon, 03 Nov 1997 11:56:53 +0100] rev 4080

new implicit simpset mechanism based on Sign.sg anytype data;

Mon, 03 Nov 1997 11:56:36 +0100 new implicit claset mechanism based on Sign.sg anytype data;

changeset

wenzelm [Mon, 03 Nov 1997 11:56:36 +0100] rev 4079

new implicit claset mechanism based on Sign.sg anytype data; tuned warnings;

Mon, 03 Nov 1997 11:56:17 +0100 adapted to new implicit claset mechanism;

changeset

wenzelm [Mon, 03 Nov 1997 11:56:17 +0100] rev 4078

adapted to new implicit claset mechanism;

Mon, 03 Nov 1997 11:48:56 +0100 fix references to implicit claset and simpset;

changeset

wenzelm [Mon, 03 Nov 1997 11:48:56 +0100] rev 4077

fix references to implicit claset and simpset;

Mon, 03 Nov 1997 11:48:29 +0100 do not overwrite backup files;

changeset

wenzelm [Mon, 03 Nov 1997 11:48:29 +0100] rev 4076

do not overwrite backup files;

Mon, 03 Nov 1997 11:48:02 +0100 set_session renamed to add_session;

changeset

wenzelm [Mon, 03 Nov 1997 11:48:02 +0100] rev 4075

set_session renamed to add_session;

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

isabelle

RSS Atom