Marco Maggesi 34411286a6 Update HOL Light to revision 154		2013-02-08 15:20:06 +01:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic	Update HOL Light to revision 154	2013-02-08 15:20:06 +01:00
math	maxima: update to version 5.29.1	2013-01-19 02:31:21 +01:00
misc
molecular-dynamics/gromacs