Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 02 Jul 1999 15:04:12 +0200 tuned;
changeset
wenzelm [Fri, 02 Jul 1999 15:04:12 +0200] rev 6884
tuned;
Thu, 01 Jul 1999 22:20:58 +0200 fixed order_trans;
changeset
wenzelm [Thu, 01 Jul 1999 22:20:58 +0200] rev 6883
fixed order_trans;
Thu, 01 Jul 1999 21:30:18 +0200 added KnasterTarski.thy;
changeset
wenzelm [Thu, 01 Jul 1999 21:30:18 +0200] rev 6882
added KnasterTarski.thy;
Thu, 01 Jul 1999 21:29:53 +0200 renamed with/APP to of/OF;
changeset
wenzelm [Thu, 01 Jul 1999 21:29:53 +0200] rev 6881
renamed with/APP to of/OF;
Thu, 01 Jul 1999 21:28:49 +0200 Isar_examples/KnasterTarski.thy;
changeset
wenzelm [Thu, 01 Jul 1999 21:28:49 +0200] rev 6880
Isar_examples/KnasterTarski.thy;
Thu, 01 Jul 1999 21:27:46 +0200 added with_facts(_i);
changeset
wenzelm [Thu, 01 Jul 1999 21:27:46 +0200] rev 6879
added with_facts(_i); also, finally: opt_rules;
Thu, 01 Jul 1999 21:27:04 +0200 'with' as == 'from' as facts;
changeset
wenzelm [Thu, 01 Jul 1999 21:27:04 +0200] rev 6878
'with' as == 'from' as facts; also, finally: opt_rules;
Thu, 01 Jul 1999 21:25:58 +0200 also, finally: opt_rules;
changeset
wenzelm [Thu, 01 Jul 1999 21:25:58 +0200] rev 6877
also, finally: opt_rules;
Thu, 01 Jul 1999 21:20:57 +0200 have_thmss: more_ths;
changeset
wenzelm [Thu, 01 Jul 1999 21:20:57 +0200] rev 6876
have_thmss: more_ths; simple_have_thmss;
Thu, 01 Jul 1999 21:20:27 +0200 have_thmss: more_ths;
changeset
wenzelm [Thu, 01 Jul 1999 21:20:27 +0200] rev 6875
have_thmss: more_ths;
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle