Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -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.
Wed, 03 Nov 2010 16:39:23 -0700 remove some unnecessary lemmas; move monofun_LAM to Cfun.thy
changeset
huffman [Wed, 03 Nov 2010 16:39:23 -0700] rev 40433
remove some unnecessary lemmas; move monofun_LAM to Cfun.thy
Wed, 03 Nov 2010 15:57:39 -0700 add lemma eq_imp_below
changeset
huffman [Wed, 03 Nov 2010 15:57:39 -0700] rev 40432
add lemma eq_imp_below
Wed, 03 Nov 2010 15:47:46 -0700 discontinue a bunch of legacy theorem names
changeset
huffman [Wed, 03 Nov 2010 15:47:46 -0700] rev 40431
discontinue a bunch of legacy theorem names
Wed, 03 Nov 2010 15:31:24 -0700 move a few admissibility lemmas into FOCUS/Stream_adm.thy
changeset
huffman [Wed, 03 Nov 2010 15:31:24 -0700] rev 40430
move a few admissibility lemmas into FOCUS/Stream_adm.thy
Wed, 03 Nov 2010 15:03:16 -0700 simplify some proofs
changeset
huffman [Wed, 03 Nov 2010 15:03:16 -0700] rev 40429
simplify some proofs
Mon, 08 Nov 2010 13:53:18 +0100 compile -- 7550b2cba1cb broke the build
changeset
blanchet [Mon, 08 Nov 2010 13:53:18 +0100] rev 40428
compile -- 7550b2cba1cb broke the build
Mon, 08 Nov 2010 13:25:00 +0100 merge
changeset
blanchet [Mon, 08 Nov 2010 13:25:00 +0100] rev 40427
merge
Mon, 08 Nov 2010 09:10:44 +0100 recognize Vampire error
changeset
blanchet [Mon, 08 Nov 2010 09:10:44 +0100] rev 40426
recognize Vampire error
Mon, 08 Nov 2010 12:13:51 +0100 return the process return code along with the process outputs
changeset
boehmes [Mon, 08 Nov 2010 12:13:51 +0100] rev 40425
return the process return code along with the process outputs
Mon, 08 Nov 2010 12:13:44 +0100 better modularization: moved SMT configuration options and diagnostics as well as SMT failure and exception into separate structures (both of which are loaded first and consequently are available to other SMT structures)
changeset
boehmes [Mon, 08 Nov 2010 12:13:44 +0100] rev 40424
better modularization: moved SMT configuration options and diagnostics as well as SMT failure and exception into separate structures (both of which are loaded first and consequently are available to other SMT structures)
(0) -30000 -10000 -3000 -1000 -300 -100 -10 +10 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle