Simply fixing too many or too few variables. Larry On 5 Sep 2012, at 13:52, Lars Noschinski <[email protected]> wrote:
>> Which scenario do you have in mind with fix? The case where a too general >> type is chosen, because the first mention of the fixed variable also >> type-checks for a more general type? > > -- Lars _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
