already_theory2.why 56 Bytes
Newer Older
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
1 2
theory A end
theory B end
Jean-Christophe Filliâtre's avatar
Jean-Christophe Filliâtre committed
3
theory C use A use B as A end