0
との仮説のは、これらは私の現在の施設と目標であるとしましょう書き換え：私は基本的に、そうより具体的な表現
IHl' : In a l'' \/ In a l' -> In a (l'' ++ l')
l' : list A
============================
....
：
今IHl' : forall l' : list A, In a l'' \/ In a l' -> In a (l'' ++ l')
l' : list A
============================
....
を、私は仮説は次のように変換取得したいですIHl'をl'でインスタンス化します。これを行う戦術はありますか？書き直すか、新しい特殊な仮説を導入する必要があります。
このタイプの質問は、ここで時折起きます。以下はあなたの質問のリスト（時には不完全かもしれません）です。これはあなたを助けるかもしれません。[1]（http://stackoverflow.com/questions/15573794/）、[2]（http://stackoverflow.com/questions/19053778 /）、[3]（http://stackoverflow.com/questions/20156622/）、[4]（http://stackoverflow.com/questions/25687981/）、[5]（http：// stackoverflow .com/questions/29316168 /）、[6]（http://stackoverflow.com/questions/35994491/）、[7]（http://stackoverflow.com/questions/39904991/）、[8]（http ：//stackoverflow.com/questions/40448703/）。 –
@AntonTrunov BTWこれらの質問の中には、他の質問の重複としてマークしてはいけませんか？ –
@ Zimmi48あなたが正しいと思います。私は接続性を高めたい（より良い検索結果が得られるかもしれない）。 –