Started theorem parser
Some more code.
Some more parser code.
AsDeductionSystem* -> InDeductiveSystem

in deductive_generalized.gi
Merge branch 'master' of https://github.com/sebasguts/CategoriesForHomalg

* 'master' of https://github.com/sebasguts/CategoriesForHomalg:
  Rewrote WithGiven methods to use WithoutGiven methods
  Removed obsolete error.
Bugfix in UniversalObjects.gi
First version of parser.
File parser works
Removed more characters from latex math mode.
Added IsInitial and IsTerminal as properties for objects.

Closes #20.
Sanitized sources to contain functions.
Installed logic for Source and Range.
New submodule

LogicForCategories
Merged first part of logic parser.

Merge branch 'logic_parser_devel'

* logic_parser_devel:
  Installed logic for Source and Range.
  Sanitized sources to contain functions.
  Added IsInitial and IsTerminal as properties for objects.
  Removed more characters from latex math mode.
  File parser works
  First version of parser.
  Some more parser code.
  Some more code.
  Started theorem parser
Submodule for logic.

Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  New submodule
Updated gitignore.