Initial version
Cooking of theories
Template for command-line options

--HG--
rename : primer.thy => group.th
Basic infrastructure for printing out results and enumerating. Try it with: alg --size 10 group.th
Forgotten print.ml
Updated group axioms and added some more theories for testing.

--HG--
rename : group.th => theories/group.th
Fix typo in alg.ml. Had to.
Initial working version. Groups, rings, semirings ... work (probably).
Minor corretions to source, fixed errors in axioms for ring
Moved some functions from enum.ml to util.ml
Basic naive detection of isomorphic structures.
New theory file for unital ring, ring is now without multiplicative unit.
Add functions for generating subsets. This may be used in the future for generating isomorphisms.
Comments.
minor cleanup
added lattices, reversed --noniso option
Added a number of theories. Why does set.th ony output one model? We really should not assume that unary operations are bijections, this prevents relfexive_graph.th from working
Tarski high school algebra
Changed representation of terms and algebra to work directly with indices instead of strings. Changed functions accordingly.
Update representation of constants in algebra.