Literature/Berstel-Boasson-Algebraic-Theory-1996.pdf
author zhang
Fri, 20 Apr 2012 11:27:49 +0000
changeset 347 73127f5db18f
parent 164 24083ffa7611
permissions -rw-r--r--
Intuitive definition of "detached" is added to PrioG.thy.

(binary:application/pdf)