apply-script

0열

2답변

이자벨 : "소개 IMPI"

내 목표 상태 인 경우 foo ==> bar --> qux의 반대, 내가 목표 상태 foo ==> bar ==> qux를 산출하기 위해 문 apply (intro impI) 를 사용할 수 있다는 것을 알고. 다른 방향은 어떨까요? 어떤 명령이 나를 목표 상태 foo ==> bar --> qux으로 보내겠습니까? 내가 지금까지 함께 온 가장 좋은는 app

isabelle apply-script 2013-12-19

---