mn200/HOL — Issue #50: Document CONJ_ASM{1,2}_TAC
Author: mn200
Created: 2011-12-12 05:07:30+00:00
State: open
Labels: Bug, Documentation

As per subject-line.