This is a French country beef stew cooked using a pressure cooker. I found it in the Better Homes and Gardens Pressure Cooker Cookbook. I did make a few changes to clarify some steps. I have not tried it myself yet, so let me know if you try it!
In a 4 or 6 quart pressure cooker, combine beef, carrots, mushrooms, onion, garlic, bay leaf, salt, thyme, black pepper, beef broth or beef stock, wine and tomato paste.
Place seal in the pressure cooker lid and lock the lid in place. Place pressure regulator on vent pipe and bring to pressure over high heat. Reduce heat just enough to maintain pressure so the pressure regulator rocks gently. Cook for 12 minutes.
Remove cooker from heat and allow pressure to come down naturally. Once pressure is down, remove pressure regulator from lid. (Be careful - it will be hot!) Unlock lid and carefully remove it.
Remove the bay leaf and discard. In a small bowl stir together flour and 1/4 cup water till well combined. Add this mixture to cooker. Replace cooker over medium to medium high heat (but do not replace lid), and cook until stew is thickened and bubbly, stirring frequently. Once stew begins to thicken, continue cooking for 1 minute more.