| Fri, 22 Nov 2024 14:54:00 +0000 | paulson | Patch by Stepan Holub, plus tweaks | changeset | files |
| Fri, 22 Nov 2024 13:23:27 +0000 | paulson | patch to vector_matrix_mult by Alexander Pach | changeset | files |
| Tue, 19 Nov 2024 18:47:12 +0100 | Fabian Huch | try0: cleaned up output; | changeset | files |
| Mon, 18 Nov 2024 13:30:02 +0100 | Fabian Huch | try0: insert extra facts into state instead of goal, since some methods (e.g. metis) won't work otherwise; | changeset | files |
| Mon, 18 Nov 2024 12:35:44 +0100 | Fabian Huch | avoid informatik.tu-muenchen.de domain: soon to be discontinued; | changeset | files |
| Sun, 17 Nov 2024 21:20:26 +0100 | nipkow | renamed Discrete -> Discrete_Functions to avoid name clashes; | changeset | files |
| Sun, 17 Nov 2024 09:50:54 +0100 | nipkow | Use Var to maintain the difference between function and locale parameters | changeset | files |