| description | A program for enumerating models of algebraic theories |
| owner | Ales Bizjak |
| last change | Mon, 19 Dec 2011 01:05:18 +0100 |
| 5 months ago | Andrej Bauer | Branching off to adapt alg to many-sorted theories. | changeset | files |
| 5 months ago | Andrej Bauer | Moving things around still | changeset | files |
| 5 months ago | Andrej Bauer | Added toplevel INSTALL.txt | changeset | files |
| 5 months ago | Andrej Bauer | Added toplevel Makefile | changeset | files |
| 5 months ago | Andrej Bauer | Updated the manual to reflect the new directory structure | changeset | files |
| 5 months ago | Andrej Bauer | Mocking about with files | changeset | files |
| 5 months ago | Andrej Bauer | Reorganizing the source files | changeset | files |
| 5 months ago | Andrej Bauer | merged | changeset | files |
| 9 months ago | Andrej Bauer | added another example | changeset | files |
| 16 months ago | Andrej Bauer | Minor corrections of the manual | changeset | files |
| ... | |||
| ... |
| 5 months ago | 7b1185cf609f | many-sorted | changeset | changelog | files |
| 5 months ago | 6a3dae5e2048 | default | changeset | changelog | files |
| ... | |||