radu/LaTeX-examples

Автор	SHA1 Съобщение	Дата
Martin Thoma	1a69ea8475 one step closer in verification step	преди 12 години
Martin Thoma	5e4b2293b9 improved proof	преди 12 години
Martin Thoma	c752ff59b4 many changes; added proof	преди 12 години
Martin Thoma	e0bd5d3905 added some ideas	преди 12 години