Changes

Summary

Changeset 6950:be245cf2a736 by lars hupel _lars.hupel@mytum.de_: corrected some URLs
The file was modified	`thys/Dependent_SIFUM_Refinement/document/root.bib` (diff)
The file was modified	`thys/Dependent_SIFUM_Type_Systems/document/root.bib` (diff)
The file was modified	`thys/Groebner_Bases/document/root.bib` (diff)
The file was modified	`thys/Multivariate_Polynomials/document/root.bib` (diff)
The file was modified	`thys/Noninterference_Concurrent_Composition/document/root.bib` (diff)
The file was modified	`thys/Noninterference_Sequential_Composition/document/root.bib` (diff)
The file was modified	`thys/Ordinary_Differential_Equations/document/root.bib` (diff)
The file was modified	`thys/Perron_Frobenius/document/root.bib` (diff)
The file was modified	`thys/ROBDD/document/root.bib` (diff)
The file was modified	`thys/SenSocialChoice/document/root.bib` (diff)