-rw-r--r-- | 778K | CallByNameForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs | history | headblob | annotate |
-rw-r--r-- | 174K | CallByNameForClosedTerms.INblobs | history | headblob | annotate |
-rw-r--r-- | 827K | CallByNameWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs | history | headblob | annotate |
-rw-r--r-- | 231K | CallByNameWithOpenTerms.INblobs | history | headblob | annotate |
-rw-r--r-- | 832K | CallByValueForClosedTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs | history | headblob | annotate |
-rw-r--r-- | 181K | CallByValueForClosedTerms.INblobs | history | headblob | annotate |
-rw-r--r-- | 888K | CallByValueWithOpenTerms+List+Bool+Nat+Pairs+Sums+rec.INblobs | history | headblob | annotate |
-rw-r--r-- | 244K | CallByValueWithOpenTerms.INblobs | history | headblob | annotate |