Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +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.
Mon, 26 Apr 2010 16:08:04 +0200 merged
changeset
wenzelm [Mon, 26 Apr 2010 16:08:04 +0200] rev 36353
merged
Mon, 26 Apr 2010 15:14:14 +0200 add bounded_lattice_bot and bounded_lattice_top type classes
changeset
Cezary Kaliszyk <kaliszyk@in.tum.de> [Mon, 26 Apr 2010 15:14:14 +0200] rev 36352
add bounded_lattice_bot and bounded_lattice_top type classes
Mon, 26 Apr 2010 13:43:31 +0200 merged
changeset
haftmann [Mon, 26 Apr 2010 13:43:31 +0200] rev 36351
merged
Mon, 26 Apr 2010 11:34:19 +0200 dropped group_simps, ring_simps, field_eq_simps
changeset
haftmann [Mon, 26 Apr 2010 11:34:19 +0200] rev 36350
dropped group_simps, ring_simps, field_eq_simps
Mon, 26 Apr 2010 11:34:17 +0200 class division_ring_inverse_zero
changeset
haftmann [Mon, 26 Apr 2010 11:34:17 +0200] rev 36349
class division_ring_inverse_zero
Mon, 26 Apr 2010 11:34:15 +0200 dropped group_simps, ring_simps, field_eq_simps; classes division_ring_inverse_zero, field_inverse_zero, linordered_field_inverse_zero
changeset
haftmann [Mon, 26 Apr 2010 11:34:15 +0200] rev 36348
dropped group_simps, ring_simps, field_eq_simps; classes division_ring_inverse_zero, field_inverse_zero, linordered_field_inverse_zero
Mon, 26 Apr 2010 11:34:15 +0200 line break
changeset
haftmann [Mon, 26 Apr 2010 11:34:15 +0200] rev 36347
line break
Mon, 26 Apr 2010 14:44:41 +0200 removed unused AxClass.class_intros;
changeset
wenzelm [Mon, 26 Apr 2010 14:44:41 +0200] rev 36346
removed unused AxClass.class_intros;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -8 +8 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle