-
Ike Mulder authored
Added extra reloc reasoning principle, added more mutual recursive function tests, simplified AsFunOfOnly with pattern Ltac.
97bdda19
Added extra reloc reasoning principle, added more mutual recursive function tests, simplified AsFunOfOnly with pattern Ltac.