Michael Raskin dd3ef46cac Update TPTP ... svn path=/nixpkgs/trunk/; revision=33754		2012-04-12 07:23:52 +00:00
..
astronomy
biology
chemistry/avogadro
electronics
geometry
logic	Update TPTP	2012-04-12 07:23:52 +00:00
math	Add packages to GAP	2012-04-05 04:46:11 +00:00
misc