Namespace List

Here is a list of all documented namespaces with brief descriptions:

Nschedule	Hide all the global stuff in this namespace
Ntptp_parser	The tptp_parser namespace contains a lot of stuff that's essentially just global
Nunicode_symbols	Vic_string - "verbose/indented/coloured"