src/HOL/Multivariate_Analysis/document/root.tex
Fri, 15 Jul 2016 12:17:16 +0200 hoelzl HOL-Multivariate_Analysis: add amssymb to document generation; reintroduce \nexists (cf d51a0a772094)
Wed, 30 Dec 2015 14:55:26 +0100 wenzelm proper latex setup;
Sun, 02 Nov 2014 17:09:04 +0100 wenzelm modernized header;
Sun, 21 Aug 2011 09:38:31 -0700 huffman scale dependency graph to fit on page
Fri, 03 Dec 2010 20:38:58 +0100 wenzelm recoded latin1 as utf8;
Sat, 24 Apr 2010 13:31:52 -0700 huffman document generation for Multivariate_Analysis
less more (0) tip