Mercurial
Mercurial
>
repos
>
isabelle
/ changelog
summary
|
shortlog
| changelog |
graph
|
tags
|
bookmarks
|
branches
|
files
|
gz
|
help
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or
revset expression
.
Sat, 10 Sep 2011 00:44:25 +0200
fixed definition of type intersection (soundness bug)
changeset
blanchet [Sat, 10 Sep 2011 00:44:25 +0200] rev 44859
fixed definition of type intersection (soundness bug)
Sat, 10 Sep 2011 00:44:25 +0200
continue with minimization in debug mode in spite of unsoundness
changeset
blanchet [Sat, 10 Sep 2011 00:44:25 +0200] rev 44858
continue with minimization in debug mode in spite of unsoundness
Fri, 09 Sep 2011 09:31:04 -0700
generalize lemma of_nat_number_of_eq to class number_semiring
changeset
huffman [Fri, 09 Sep 2011 09:31:04 -0700] rev 44857
generalize lemma of_nat_number_of_eq to class number_semiring
Fri, 09 Sep 2011 15:14:59 +0200
merged
changeset
bulwahn [Fri, 09 Sep 2011 15:14:59 +0200] rev 44856
merged
Fri, 09 Sep 2011 14:43:50 +0200
stating more explicitly our expectation that these two terms have the same term structure
changeset
bulwahn [Fri, 09 Sep 2011 14:43:50 +0200] rev 44855
stating more explicitly our expectation that these two terms have the same term structure
Fri, 09 Sep 2011 12:33:09 +0200
revisiting type annotations for Haskell: necessary type annotations are not inferred on the provided theorems but using the arguments and right hand sides, as these might differ in the case of constants with abstract code types
changeset
bulwahn [Fri, 09 Sep 2011 12:33:09 +0200] rev 44854
revisiting type annotations for Haskell: necessary type annotations are not inferred on the provided theorems but using the arguments and right hand sides, as these might differ in the case of constants with abstract code types
Fri, 09 Sep 2011 14:30:57 +0200
made SML/NJ happy
changeset
blanchet [Fri, 09 Sep 2011 14:30:57 +0200] rev 44853
made SML/NJ happy
(0)
-30000
-10000
-3000
-1000
-300
-100
-30
-10
-7
+7
+10
+30
+100
+300
+1000
+3000
+10000
+30000
tip