Change delegates to associations.

Change delegates to has_* ActiveRecord relations.

Remove locid from ProofAttemptConfiguration This is not needed anymore because we have a one-to-one relation between ProofAttemptConfiguration and ProofAttempt.

Decouple ProofAttemptConfiguration from Ontology Now that there is only one ProofAttemptConfiguration per ProofAttempt, we can remove this association. The numbering can be dropped as well. Next, the loc/id and routes must be adjusted because it is now associated primarily with the ProofAttempt.

Let PAC have one proof_attempt and remove goals When the ProofAttemptCofiguration only has one proof_attempt, there can only be a single goal. This can be retrieved through the proof_attempt.

Let ProofAttemptConfiguration build the ProveOptions.

Add models: [Manual]AxiomSelection There will be more subclasses of AxiomSelection each with different attributes. To avoid creating many NULL values in the database, we use multiple table inheritance with the gem 'acts_as_relation'. This gem mimicks actual class inheritance of ruby with the method `acts_as`. The migration changes the has_and_belongs_to_many association between Axioms and ProofAttemptConfigurations to be between Axioms and AxiomSelections.

Add proof attempt configuration to the show view.

Fix ProofAttemptConfiguration migrations The link to the ontology already needs to be established in the first migration. Also, the migrations create a ProofAttemptConfiguration, which triggers the before_create callback. They must not assume that the columns have been created.

Fix ProofAttemptConfiguration ontology association.

Add locid and number to ProofAttemptConfiguration.

Add model: ProofAttemptConfiguration.