simple one-liner tests
Starting on trx
more Notes
Many small changes from yesterday night
removing print_obj from trx as misplaced
beginning to really modify trx.ml
re-wrote the whole traversal at level 0
Hooking up Trx to the rest of the system
Added trivial changes to two extra files, not present before.
new .depend, with trx
small changes to trx for compilation
Updating notes
gprint is no longer supported
Importing Jacques' printer
many adjustments for OCaml 4
compiling metaocaml
refreshing the boot compiler
dealing with constants
Description of generalization and levels
Handle a few more simple nodes