You are currently looking at the documentation of an outdated version of Sollya. To see the current version of the documentation, go here.