Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Fri, 19 Nov 2010 14:59:11 +0000 merged
changeset
paulson [Fri, 19 Nov 2010 14:59:11 +0000] rev 40618
merged
Fri, 19 Nov 2010 14:58:49 +0000 First-order pattern matching: catch a rogue exception (differing numbers of arguments)
changeset
paulson [Fri, 19 Nov 2010 14:58:49 +0000] rev 40617
First-order pattern matching: catch a rogue exception (differing numbers of arguments)
Fri, 19 Nov 2010 14:35:58 +0100 eval simp rules for predicate type, simplify primitive proofs
changeset
haftmann [Fri, 19 Nov 2010 14:35:58 +0100] rev 40616
eval simp rules for predicate type, simplify primitive proofs
Fri, 19 Nov 2010 11:44:46 +0100 generalized type
changeset
haftmann [Fri, 19 Nov 2010 11:44:46 +0100] rev 40615
generalized type
Fri, 19 Nov 2010 10:37:06 +0100 made smlnj happy
changeset
haftmann [Fri, 19 Nov 2010 10:37:06 +0100] rev 40614
made smlnj happy
Fri, 19 Nov 2010 10:04:08 +0100 merged
changeset
haftmann [Fri, 19 Nov 2010 10:04:08 +0100] rev 40613
merged
Thu, 18 Nov 2010 18:53:36 +0100 proper qualification needed due to shadowing on theory merge
changeset
haftmann [Thu, 18 Nov 2010 18:53:36 +0100] rev 40612
proper qualification needed due to shadowing on theory merge
Thu, 18 Nov 2010 17:06:02 +0100 more appropriate name for property
changeset
haftmann [Thu, 18 Nov 2010 17:06:02 +0100] rev 40611
more appropriate name for property
Thu, 18 Nov 2010 17:01:16 +0100 mapper for sum type
changeset
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40610
mapper for sum type
Thu, 18 Nov 2010 17:01:16 +0100 mapper for option type
changeset
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40609
mapper for option type
Thu, 18 Nov 2010 17:01:16 +0100 mapper for list type; map_pair replaces prod_fun
changeset
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40608
mapper for list type; map_pair replaces prod_fun
Thu, 18 Nov 2010 17:01:16 +0100 map_pair replaces prod_fun
changeset
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40607
map_pair replaces prod_fun
Thu, 18 Nov 2010 17:01:16 +0100 mapper for mulitset type
changeset
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40606
mapper for mulitset type
Thu, 18 Nov 2010 17:01:16 +0100 mapper for mapping type
changeset
haftmann [Thu, 18 Nov 2010 17:01:16 +0100] rev 40605
mapper for mapping type
Thu, 18 Nov 2010 17:01:15 +0100 mapper for fset type
changeset
haftmann [Thu, 18 Nov 2010 17:01:15 +0100] rev 40604
mapper for fset type
Thu, 18 Nov 2010 17:01:15 +0100 mapper for dlist type
changeset
haftmann [Thu, 18 Nov 2010 17:01:15 +0100] rev 40603
mapper for dlist type
Thu, 18 Nov 2010 17:01:15 +0100 map_fun combinator in theory Fun
changeset
haftmann [Thu, 18 Nov 2010 17:01:15 +0100] rev 40602
map_fun combinator in theory Fun
Thu, 18 Nov 2010 22:34:32 +0100 some updates after 2 years of Mercurial usage;
changeset
wenzelm [Thu, 18 Nov 2010 22:34:32 +0100] rev 40601
some updates after 2 years of Mercurial usage;
Thu, 18 Nov 2010 18:12:03 +0100 mention Sledgehammer with SMT
changeset
blanchet [Thu, 18 Nov 2010 18:12:03 +0100] rev 40600
mention Sledgehammer with SMT
Thu, 18 Nov 2010 18:09:08 +0100 enabled SMT solver in Sledgehammer by default
changeset
blanchet [Thu, 18 Nov 2010 18:09:08 +0100] rev 40599
enabled SMT solver in Sledgehammer by default
Thu, 18 Nov 2010 12:37:30 +0100 merged
changeset
haftmann [Thu, 18 Nov 2010 12:37:30 +0100] rev 40598
merged
Thu, 18 Nov 2010 10:59:42 +0100 keep variables bound
changeset
haftmann [Thu, 18 Nov 2010 10:59:42 +0100] rev 40597
keep variables bound
Thu, 18 Nov 2010 10:52:38 +0100 remove "Time limit reached" as potential error, because this is sometimes generated for individual slices and not for the entire problem
changeset
blanchet [Thu, 18 Nov 2010 10:52:38 +0100] rev 40596
remove "Time limit reached" as potential error, because this is sometimes generated for individual slices and not for the entire problem
Wed, 17 Nov 2010 23:20:26 +0100 merged
changeset
haftmann [Wed, 17 Nov 2010 23:20:26 +0100] rev 40595
merged
Wed, 17 Nov 2010 17:27:25 +0100 infer variances of user-given mapper operation; proper thm storing
changeset
haftmann [Wed, 17 Nov 2010 17:27:25 +0100] rev 40594
infer variances of user-given mapper operation; proper thm storing
Wed, 17 Nov 2010 21:35:23 +0100 code eqn for slice was missing; redefined splice with fun
changeset
nipkow [Wed, 17 Nov 2010 21:35:23 +0100] rev 40593
code eqn for slice was missing; redefined splice with fun
Wed, 17 Nov 2010 08:47:58 -0800 move strict function type into main HOLCF; instance cfun :: (predomain, domain) domain
changeset
huffman [Wed, 17 Nov 2010 08:47:58 -0800] rev 40592
move strict function type into main HOLCF; instance cfun :: (predomain, domain) domain
Wed, 17 Nov 2010 06:49:23 -0800 merged
changeset
huffman [Wed, 17 Nov 2010 06:49:23 -0800] rev 40591
merged
Tue, 16 Nov 2010 16:36:57 -0800 typedef (open) unit
changeset
huffman [Tue, 16 Nov 2010 16:36:57 -0800] rev 40590
typedef (open) unit
Tue, 16 Nov 2010 13:37:17 -0800 add bind_bind rules for powerdomains
changeset
huffman [Tue, 16 Nov 2010 13:37:17 -0800] rev 40589
add bind_bind rules for powerdomains
(0) -30000 -10000 -3000 -1000 -300 -100 -50 -30 +30 +50 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle