It is well-known that the lift of linear Hamiltonian flows to the metaplectic group leads to Schrödinger's equation. We propose a similar lifting procedure for arbitrary Hamiltonian flows based on the Lie-Trotter formula. This procedure, which does not violate the Gronewold-van Hove theorem, leads in a justifiable way to Feynman's path integral.