2 Commits

Author	SHA1	Message	Date
nemu	eef0dac3a9	some more work towards a theory block handler	2009-03-22 15:11:42 +00:00
nemu	c34679e350	adding some stuff needed for the theory block	2009-03-22 10:11:04 +00:00