Commit Graph

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