[isabelle-dev] Clone attacks
lp15 at cam.ac.uk
Thu Sep 19 23:27:24 CEST 2013
We also have some overlap between Library/Binomial and
> On 19 Sep 2013, at 19:05, Florian Haftmann <florian.haftmann at informatik.tu-muenchen.de> wrote:
> Since, there 92080294beb8 are two clone theories:
> From a superficial glimpse, Decision_Procs/Polynomial_List.thy seems to
> lag behind Library/Univ_Poly.thy already since the time of its addition.
> Any suggestions? My first idea is to replace
> Decision_Procs/Polynomial_List.thy by Library/Univ_Poly.thy »as it is«.
> PGP available:
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev