Remove redundant VERSION file

FKlie / Predicata

GAP package Predicata: Deciding Presburger arithmetic using automata theory

GNU General Public License v3.0

0 stars 1 forks source link

Closed olexandr-konovalov closed 5 years ago

olexandr-konovalov commented 5 years ago

It looks to me like this file is redundant. I did not find any references to it.