tree 499826c72ef3c1c395817fd9be021134e523654b
parent 08aa2632a0d1d7e5e9d1f40bdd4190b5fa9e6930
author Akron <nils@diewald-online.de> 1744103873 +0200
committer Akron <nils@diewald-online.de> 1744103873 +0200

Simplify term/termGroup/token