Mercurial Mercurial > repos > isabelle / changelog
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | gz | help
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +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.
Wed, 04 May 2005 18:50:39 +0200 Added eta_long attribute.
changeset
berghofe [Wed, 04 May 2005 18:50:39 +0200] rev 15926
Added eta_long attribute.
Wed, 04 May 2005 18:50:21 +0200 Added eta_long_conversion.
changeset
berghofe [Wed, 04 May 2005 18:50:21 +0200] rev 15925
Added eta_long_conversion.
Wed, 04 May 2005 10:44:53 +0200 eta-expansion
changeset
paulson [Wed, 04 May 2005 10:44:53 +0200] rev 15924
eta-expansion
Wed, 04 May 2005 10:42:43 +0200 fixed lin.arith
changeset
nipkow [Wed, 04 May 2005 10:42:43 +0200] rev 15923
fixed lin.arith
Wed, 04 May 2005 08:37:45 +0200 neqE applies even if the type is not one which partakes in linear arithmetic.
changeset
nipkow [Wed, 04 May 2005 08:37:45 +0200] rev 15922
neqE applies even if the type is not one which partakes in linear arithmetic. This lead to confusion. Now there are multiple type specific neqE.
Wed, 04 May 2005 08:36:10 +0200 Fixing a problem with lin.arith.
changeset
nipkow [Wed, 04 May 2005 08:36:10 +0200] rev 15921
Fixing a problem with lin.arith.
(0) -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 +30000 tip
isabelle