[isabelle-dev] Clone attacks
florian.haftmann at informatik.tu-muenchen.de
Thu Nov 28 09:14:49 CET 2013
Just for the record: I have resolved that issue as shown in
63fe59f64578. See also 0e6645622f22 for a related issue.
Am 19.09.2013 19:05, schrieb Florian Haftmann:
> 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«.
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
More information about the isabelle-dev