20120911 
Helmut Grohne  LiftGet: replace veclengthsame with toListsubst 
blob  commitdiff 
20120910 
Helmut Grohne  LiftGet: veclength is also known as subst (Vec A) 
blob  commitdiff  diff to current 
20120904 
Helmut Grohne  formulate List <> Vec isomorphism problems 
blob  commitdiff  diff to current 
20120830 
Helmut Grohne  prove LiftGet.gettrafo2getlen 
blob  commitdiff  diff to current 
20120830 
Helmut Grohne  phrase other half of bijection in LiftGet 
blob  commitdiff  diff to current 
20120830 
Helmut Grohne  prove half of the bijection in LiftGet 
blob  commitdiff  diff to current 
20120830 
Helmut Grohne  give the type of different gets a name 
blob  commitdiff  diff to current 
20120806 
Helmut Grohne  attempt isomorphism between get on List and on Vec 
blob  commitdiff  diff to current 
