3 Commits

Author	SHA1	Message	Date
nemu	f5df45e5b3	added theory function insert option	2009-03-23 08:29:57 +00:00
nemu	201692410a	implemented first full Theory Block handler	2009-03-22 15:52:11 +00:00
nemu	eef0dac3a9	some more work towards a theory block handler	2009-03-22 15:11:42 +00:00