Topics:
- Pending sort hypothesis with definition (1 message, latest: Jul 10 2022 at 09:12)
- bstring & xstring (9 messages, latest: May 22 2022 at 11:40)
- stream events (3 messages, latest: May 08 2022 at 15:56)
- ✔ Using facts proved in Isabelle/ML (1 message, latest: Apr 28 2022 at 08:55)
- Using facts proved in Isabelle/ML (2 messages, latest: Apr 25 2022 at 11:48)
- ✔ Solving a list of trivial goals (1 message, latest: Apr 24 2022 at 16:42)
- print proof states (2 messages, latest: Apr 22 2022 at 07:00)
- printing proof terms (3 messages, latest: Apr 19 2022 at 17:32)
- Solving a list of trivial goals (4 messages, latest: Apr 19 2022 at 09:00)
- syntax engine (1 message, latest: Jan 27 2022 at 14:23)
- ✔ combine premises in goal (7 messages, latest: Jan 24 2022 at 07:59)
- combine premises in goal (12 messages, latest: Jan 22 2022 at 12:52)
- Understanding local theories (3 messages, latest: Jan 19 2022 at 17:24)
- ✔ Generating proof outlines (1 message, latest: Dec 10 2021 at 17:33)
- Generating proof outlines (2 messages, latest: Dec 10 2021 at 14:06)
- ✔ Load ML files from other Sessions (2 messages, latest: Dec 03 2021 at 22:04)
- Load ML files from other Sessions (4 messages, latest: Dec 02 2021 at 17:16)
- all theorems introduced in a theory (2 messages, latest: Dec 02 2021 at 09:08)
- term export argument in `Assumption.export` (4 messages, latest: Nov 26 2021 at 14:18)
- the term export argument in the `Assumption.export` (2 messages, latest: Nov 26 2021 at 02:18)
- Full name of binding (3 messages, latest: Nov 03 2021 at 20:44)
- Differentiate hyps from context (2 messages, latest: Sep 30 2021 at 16:10)
- antiquotation embedded (1 message, latest: Sep 30 2021 at 13:07)
- Instantiating a theorem based on matching result (8 messages, latest: Sep 21 2021 at 06:53)
- ✔ Construct type application with unification (9 messages, latest: Sep 15 2021 at 13:40)
- PHOAS (4 messages, latest: Sep 01 2021 at 16:33)
- wrong unifier: meta variables of function types (2 messages, latest: Sep 01 2021 at 13:11)
- Exception in COMP (3 messages, latest: Aug 24 2021 at 19:53)
- Interface between Isabelle/ML and regular Isabelle (2 messages, latest: Jul 09 2021 at 19:24)
- AutoCorres (1 message, latest: Jul 02 2021 at 02:08)
- stack trace for exceptions (5 messages, latest: Jul 01 2021 at 13:52)
- Active Areas (8 messages, latest: Jun 28 2021 at 14:29)
- Unification issues with OF (8 messages, latest: Jun 18 2021 at 10:00)
- Forall introduction? (3 messages, latest: Jun 16 2021 at 19:49)
- Writing to file for logging (1 message, latest: Apr 26 2021 at 08:37)
- Illegal fixed variable error (1 message, latest: Apr 23 2021 at 15:49)
- Installation problem (3 messages, latest: Apr 10 2021 at 14:09)
- Fast Instantiation Method (1 message, latest: Sep 12 2020 at 08:39)
- Match subterms (1 message, latest: Oct 14 2019 at 10:34)
Last updated: Jul 15 2022 at 23:21 UTC