| 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 |