Mercurial Mercurial > wneuper > isa / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | bz2 | gz | help
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Wed, 25 Nov 1998 15:55:00 +0100guarantees laws
changeset
paulson [Wed, 25 Nov 1998 15:55:00 +0100] rev 5972
guarantees laws

Wed, 25 Nov 1998 15:54:41 +0100simplified ensures_UNIV
changeset
paulson [Wed, 25 Nov 1998 15:54:41 +0100] rev 5971
simplified ensures_UNIV

Wed, 25 Nov 1998 15:53:31 +0100new thms for invariant
changeset
paulson [Wed, 25 Nov 1998 15:53:31 +0100] rev 5970
new thms for invariant

Wed, 25 Nov 1998 15:53:04 +0100new theorem program_equalityE
changeset
paulson [Wed, 25 Nov 1998 15:53:04 +0100] rev 5969
new theorem program_equalityE

Wed, 25 Nov 1998 15:52:45 +0100renamed vars
changeset
paulson [Wed, 25 Nov 1998 15:52:45 +0100] rev 5968
renamed vars

Wed, 25 Nov 1998 15:51:53 +0100image_id in simpset
changeset
paulson [Wed, 25 Nov 1998 15:51:53 +0100] rev 5967
image_id in simpset

Wed, 25 Nov 1998 14:11:24 +0100removed prs / prs_fn (broken, because it did not include \n in its
changeset
wenzelm [Wed, 25 Nov 1998 14:11:24 +0100] rev 5966
removed prs / prs_fn (broken, because it did not include \n in its
semantics, forcing writeln to add one uncoditionally);
replaced prs_fn by writeln fn;

Wed, 25 Nov 1998 14:07:22 +0100eliminated ISABELLE_INTERFACE_OPTIONS;
changeset
wenzelm [Wed, 25 Nov 1998 14:07:22 +0100] rev 5965
eliminated ISABELLE_INTERFACE_OPTIONS;

Wed, 25 Nov 1998 14:06:13 +0100improved comment;
changeset
wenzelm [Wed, 25 Nov 1998 14:06:13 +0100] rev 5964
improved comment;
removed ISABELLE_INTERFACE_OPTIONS;
added ProofGeneral;

Wed, 25 Nov 1998 14:04:28 +0100replaced prs by std_output;
changeset
wenzelm [Wed, 25 Nov 1998 14:04:28 +0100] rev 5963
replaced prs by std_output;

(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
wneuper/isa