| Tue, 22 Apr 2025 15:08:14 +0200 | Lukas Bartl | tuned metis_instantiate (import types, support unfixed variables) | file | diff | annotate |
| Thu, 09 Jan 2025 13:18:37 +0100 | Lukas Bartl | tuned documentation and order of instantiated facts | file | diff | annotate |
| Mon, 23 Dec 2024 19:38:16 +0100 | Lukas Bartl | Rename "suggest_of" to "instantiate" | file | diff | annotate |
| Fri, 25 Oct 2024 15:31:58 +0200 | blanchet | variable instantiation in Sledgehammer and Metis | file | diff | annotate |