Michael Raskin d03599f8ce Adding TPTP ... svn path=/nixpkgs/trunk/; revision=27468		2011-06-15 10:35:18 +00:00
..
default.nix	Adding TPTP	2011-06-15 10:35:18 +00:00