Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Mon, 19 Aug 1996 11:51:39 +0200 Added impOfSubs
changeset
paulson [Mon, 19 Aug 1996 11:51:39 +0200] rev 1920
Added impOfSubs
Mon, 19 Aug 1996 11:49:31 +0200 Now less_zeroE is a Safe Elim rule
changeset
paulson [Mon, 19 Aug 1996 11:49:31 +0200] rev 1919
Now less_zeroE is a Safe Elim rule
Mon, 19 Aug 1996 11:33:08 +0200 Improved comment
changeset
paulson [Mon, 19 Aug 1996 11:33:08 +0200] rev 1918
Improved comment
Mon, 19 Aug 1996 11:25:04 +0200 Added proof of Un_insert_right
changeset
paulson [Mon, 19 Aug 1996 11:25:04 +0200] rev 1917
Added proof of Un_insert_right
Mon, 19 Aug 1996 11:23:25 +0200 Changed precedences to remove ambiguities in r^+ notation
changeset
paulson [Mon, 19 Aug 1996 11:23:25 +0200] rev 1916
Changed precedences to remove ambiguities in r^+ notation
Mon, 19 Aug 1996 11:22:16 +0200 Improved the proof of Problem 38
changeset
paulson [Mon, 19 Aug 1996 11:22:16 +0200] rev 1915
Improved the proof of Problem 38
Mon, 19 Aug 1996 11:20:37 +0200 Added a lot of basic laws, from HOL/simpdata
changeset
paulson [Mon, 19 Aug 1996 11:20:37 +0200] rev 1914
Added a lot of basic laws, from HOL/simpdata
Mon, 19 Aug 1996 11:19:55 +0200 Renaming of functions, and tidying
changeset
paulson [Mon, 19 Aug 1996 11:19:55 +0200] rev 1913
Renaming of functions, and tidying
Mon, 19 Aug 1996 11:19:16 +0200 Now starts with set_current_thy
changeset
paulson [Mon, 19 Aug 1996 11:19:16 +0200] rev 1912
Now starts with set_current_thy
Mon, 19 Aug 1996 11:18:36 +0200 Tidied some proofs
changeset
paulson [Mon, 19 Aug 1996 11:18:36 +0200] rev 1911
Tidied some proofs
Mon, 19 Aug 1996 11:17:20 +0200 Tidied some proofs, maybe using less_SucE
changeset
paulson [Mon, 19 Aug 1996 11:17:20 +0200] rev 1910
Tidied some proofs, maybe using less_SucE
Mon, 19 Aug 1996 11:15:44 +0200 Removal of less_SucE as default SE rule
changeset
paulson [Mon, 19 Aug 1996 11:15:44 +0200] rev 1909
Removal of less_SucE as default SE rule
(0) -1000 -300 -100 -12 +12 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle