Marco Maggesi 7c90b6a9bc Update HOL Light to rev 122. ... svn path=/nixpkgs/trunk/; revision=31956		2012-02-01 14:37:50 +00:00
..
astronomy
biology
chemistry/avogadro	Fix compilation with qt-4.8	2012-01-14 18:03:41 +00:00
electronics
geometry
logic	Update HOL Light to rev 122.	2012-02-01 14:37:50 +00:00
math
misc