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.
Thu, 10 Sep 1998 18:07:06 +0200 equals0D
changeset
paulson [Thu, 10 Sep 1998 18:07:06 +0200] rev 5475
equals0D
Thu, 10 Sep 1998 18:06:39 +0200 well-formed asym rules; also adds less_irrefl, le_refl since order_refl
changeset
paulson [Thu, 10 Sep 1998 18:06:39 +0200] rev 5474
well-formed asym rules; also adds less_irrefl, le_refl since order_refl and order_less_irrefl are no longer included by AddIffs
Thu, 10 Sep 1998 17:50:06 +0200 added proof of final result...
changeset
paulson [Thu, 10 Sep 1998 17:50:06 +0200] rev 5473
added proof of final result...
Thu, 10 Sep 1998 17:49:36 +0200 tidied
changeset
paulson [Thu, 10 Sep 1998 17:49:36 +0200] rev 5472
tidied
Thu, 10 Sep 1998 17:49:14 +0200 Now WO1_WO7 has a .thy file
changeset
paulson [Thu, 10 Sep 1998 17:49:14 +0200] rev 5471
Now WO1_WO7 has a .thy file
Thu, 10 Sep 1998 17:42:44 +0200 eliminated equals0E
changeset
paulson [Thu, 10 Sep 1998 17:42:44 +0200] rev 5470
eliminated equals0E
Thu, 10 Sep 1998 17:42:02 +0200 fixed PROOF FAILED
changeset
paulson [Thu, 10 Sep 1998 17:42:02 +0200] rev 5469
fixed PROOF FAILED
Thu, 10 Sep 1998 17:40:03 +0200 tidied
changeset
paulson [Thu, 10 Sep 1998 17:40:03 +0200] rev 5468
tidied
Thu, 10 Sep 1998 17:38:36 +0200 deleted the bogus equals0E, fixed equals0D
changeset
paulson [Thu, 10 Sep 1998 17:38:36 +0200] rev 5467
deleted the bogus equals0E, fixed equals0D
Thu, 10 Sep 1998 17:36:42 +0200 eliminated equals0E
changeset
paulson [Thu, 10 Sep 1998 17:36:42 +0200] rev 5466
eliminated equals0E
(0) -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle