a bit more on the goal type
fixed whym representation for integration
more on goaltype
more on new goal type
First version of working clausal goal type. Minor testing only done. Need to put it in with a PSGraph still.
Clausal goal type instantiated to PSGraph
minor fix to evalsig
Merge branch 'clausal_gt'

* clausal_gt:
  minor fix to evalsig
  Clausal goal type instantiated to PSGraph
  First version of working clausal goal type. Minor testing only done. Need to put it in with a PSGraph still.
  more on new goal type
  more on goaltype
  fixed whym representation for integration
  a bit more on the goal type

Conflicts:
	src/provers/isabelle/basic/build/BIsaP.thy
update simple goal type with new signature of goal type