trivialerweise wahre sexps werden noch vorm in-set geloescht. bisher allerdings nur die einfachste aller sexps: noway null,x mit x ungleich null
trivialerweise wahre sexps werden noch vorm in-set geloescht. bisher allerdings nur die einfachste aller sexps: noway null,x mit x ungleich null

bagohart/acyclic-heap-theory-module,bagohart/acyclic-heap-theory-module,bagohart/acyclic-heap-theory-module