Home
last modified time | relevance | path

Searched defs:notcon (Results 1 – 2 of 2) sorted by relevance

/dports/biology/molden/molden5.8/
H A Dproxim.f57 logical dozme,notcon,ispdb local
/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Auto/
H A DSyntax.hs246 notcon PatConApp{} = False function
247 notcon _ = True function