Vladimír Čunát 9885d04033 Revert "WIP", sorry, I got confused, somehow ... This reverts commit 524d9b656e.		2013-02-17 11:02:25 +01:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic	Update HOL Light to revision 155	2013-02-08 15:26:35 +01:00
math
misc	Revert "WIP", sorry, I got confused, somehow	2013-02-17 11:02:25 +01:00
molecular-dynamics/gromacs