Ersetzungsregel so angepasst, dass sie in beliebig tiefen :get - Schachtelungen Dinge ersetzen kann. Moeglicherweise sogar korrekt.
Ersetzungsregel so angepasst, dass sie in beliebig tiefen :get - Schachtelungen Dinge ersetzen kann. Moeglicherweise sogar korrekt.

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