Marco Maggesi 5b035e093d Update HOL Light to rev 92 ... svn path=/nixpkgs/trunk/; revision=27459		2011-06-14 17:09:19 +00:00
..
biology
electronics
geometry
logic	Update HOL Light to rev 92	2011-06-14 17:09:19 +00:00
math	wxmaxima: updated to version 11.04.0	2011-05-06 07:35:22 +00:00
misc
xplanet