split tectonic_A in two senses

This commit is contained in:
kr.angelov
2014-12-29 14:28:57 +00:00
parent 0f459462e0
commit d1ab21e513
13 changed files with 26 additions and 14 deletions

View File

@@ -57404,7 +57404,8 @@ fun technophobe_N : N ;
fun technophobia_N : N ;
fun technophobic_A : A ;
fun techy_A : A ;
fun tectonic_A : A ;
fun tectonic_1_A : A ; -- | tectonic plates
fun tectonic_2_A : A ; -- | the architectural term
fun tectonics_N : N ;
fun ted_N : N ;
fun ted_PN : PN ;