Hi, I just made a few changes to the proposal including moving a lot of the non-avalon specific stuff to an aut package. If that proves to be useful we could propose it to the library project. I documented all the changes in changes.txt Cheers,
Pete *-----------------------------------------------------* | "Faced with the choice between changing one's mind, | | and proving that there is no need to do so - almost | | everyone gets busy on the proof." | | - John Kenneth Galbraith | *-----------------------------------------------------*
