* origin/main: (25 commits)
  Bump com.diffplug.spotless from 6.24.0 to 6.25.0
  Bump com.diffplug.spotless from 6.23.3 to 6.24.0
  Bump org.slf4j:slf4j-api from 2.0.10 to 2.0.11
  Bump org.slf4j:slf4j-api from 2.0.9 to 2.0.10
  spotless reformat
  automatical translate package.html to package-info.java
  spotless
  after discussion: all datatypes are free
  ignore files in */antlr4/gen/*
  Treat duplicate predicate declarations as error.
  adding example file for natural numbers as ADTs
  Fix TestTermParser to avoid multiple parsing of declarations
  implement the discussion of KaKeY
  spotless
  fix merge errors
  fix passing of warnings
  no spaces in displaynames of taclets
  fix spaces in origin label manually + spotless
  add an example for case distinction
  add list example with two proofs
  ...

# Conflicts:
#	key.core/src/main/java/de/uka/ilkd/key/nparser/KeyAst.java