Work in progress; some improvements to the instantiation bit (factorise certain things, etc.)

This commit is contained in:
Laurence Withers 2006-07-25 19:49:22 +01:00
commit 34237efa4b
3 changed files with 25 additions and 25 deletions