{"shas":[["296014f3f01f4e05df025f3caafdf0435f3ab191","7c8224529a7c718e876cb2496c973509fde1e50e@jklm.no","changed the terms to explicitly show when substitutions are independent, reduction rules not changed yet, this needs more thought","Tom Gundersen"]],"ref":"refs/heads/lambda","size":1,"head":"296014f3f01f4e05df025f3caafdf0435f3ab191","push_id":33450934}