Commit [22251a] default Maximize Restore History

A few more notes on monadic coercions.

smimram@aec24677-d710-0410-a355-ac75e2bdf181 smimram@aec24677-d710-0410-a355-ac75e2bdf181 2011-01-28

changed sound_compiler/monadic_coercions/monadic.bib
changed sound_compiler/monadic_coercions/monadic_coercions.tex
sound_compiler/monadic_coercions/monadic.bib Diff Switch to side-by-side view
Loading...
sound_compiler/monadic_coercions/monadic_coercions.tex Diff Switch to side-by-side view
Loading...