[isabelle-dev] Clone attacks

Florian Haftmann 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.

	Florian

Am 19.09.2013 19:05, schrieb Florian Haftmann:
> Since, there 92080294beb8 are two clone theories:
> 
> 	Library/Univ_Poly.thy
> 	Decision_Procs/Polynomial_List.thy
> 
> 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«.
> 
> Cheers,
> 	Florian
> 
> 
> 
> _______________________________________________
> isabelle-dev mailing list
> isabelle-dev at in.tum.de
> https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
> 

-- 

PGP available:
http://home.informatik.tu-muenchen.de/haftmann/pgp/florian_haftmann_at_informatik_tu_muenchen_de


More information about the isabelle-dev mailing list