| Fri, 15 Jul 2016 12:17:16 +0200 | hoelzl | HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094) | file | diff | annotate |
| Wed, 30 Dec 2015 14:55:26 +0100 | wenzelm | proper latex setup; | file | diff | annotate |
| Sun, 02 Nov 2014 17:09:04 +0100 | wenzelm | modernized header; | file | diff | annotate |