| Mon, 23 Nov 2015 16:57:54 +0000 | paulson | New material about paths, winding numbers, etc. Added lemmas to divide_const_simps. Misc tuning. | changeset | files |
| Mon, 23 Nov 2015 16:57:01 +0100 | wenzelm | bundle main sources read-only, to avoid accidental editing of imported theories etc.; | changeset | files |
| Sun, 22 Nov 2015 23:19:43 +0100 | wenzelm | more symbols; | changeset | files |