[isabelle-dev] Someone messed up HOL_library/Multiset_Order

Jasmin Blanchette jasmin.blanchette at inria.fr
Thu Mar 26 14:09:10 CET 2015

Previous message (by thread): [isabelle-dev] Someone messed up HOL_library/Multiset_Order
Next message (by thread): [isabelle-dev] NEWS: proper Isar context for rule instantiations
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

> On 26.03.2015, at 14:00, Peter Lammich <lammich at in.tum.de> wrote:
> 
> Isabelle version: devel -- hg id 034b13f4efae

Someone pushed a fix a few hours ago already (75433c3ee203).

Jasmin

Previous message (by thread): [isabelle-dev] Someone messed up HOL_library/Multiset_Order
Next message (by thread): [isabelle-dev] NEWS: proper Isar context for rule instantiations
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the isabelle-dev mailing list