matita.cs.unibo.it Git - logicplayer.git/tree - mainActivity/app/src/main/java/com/example/furt/myapplication/

drwxr-xr-x		..
-rw-r--r--	984	Border.java	blob \| history \| raw
-rw-r--r--	2064	BorderedTextView.java	blob \| history \| raw
-rw-r--r--	1694	CopyPasteDialog.java	blob \| history \| raw
-rw-r--r--	1618	DialogTouchHandler.java	blob \| history \| raw
-rw-r--r--	13465	DrawActivity.java	blob \| history \| raw
-rw-r--r--	303	EliminationRule.java	blob \| history \| raw
-rw-r--r--	265	FView.java	blob \| history \| raw
-rw-r--r--	490	Formula.java	blob \| history \| raw
-rw-r--r--	2053	FormulaAnd.java	blob \| history \| raw
-rw-r--r--	1008	FormulaBOT.java	blob \| history \| raw
-rw-r--r--	2115	FormulaImpl.java	blob \| history \| raw
-rw-r--r--	1796	FormulaNot.java	blob \| history \| raw
-rw-r--r--	2321	FormulaOr.java	blob \| history \| raw
-rw-r--r--	830	FormulaTOP.java	blob \| history \| raw
-rw-r--r--	3001	GenericFormula.java	blob \| history \| raw
-rw-r--r--	436	Hypothesis.java	blob \| history \| raw
-rw-r--r--	147	IntroductionRule.java	blob \| history \| raw
-rw-r--r--	704	Literal.java	blob \| history \| raw
-rw-r--r--	737	LongHPClick.java	blob \| history \| raw
-rw-r--r--	1385	MD5.java	blob \| history \| raw
-rw-r--r--	5248	MyService.java	blob \| history \| raw
-rw-r--r--	18215	Node.java	blob \| history \| raw
-rw-r--r--	1286	RuleAndElimination.java	blob \| history \| raw
-rw-r--r--	546	RuleBotElimination.java	blob \| history \| raw
-rw-r--r--	7943	RuleDialog.java	blob \| history \| raw
-rw-r--r--	833	RuleImplElimination.java	blob \| history \| raw
-rw-r--r--	863	RuleIntroduction.java	blob \| history \| raw
-rw-r--r--	780	RuleNotElimination.java	blob \| history \| raw
-rw-r--r--	1021	RuleOrElimination.java	blob \| history \| raw
-rw-r--r--	1093	ServerData.java	blob \| history \| raw
-rw-r--r--	268	Tree.java	blob \| history \| raw
-rw-r--r--	1470	UndefinedFormula.java	blob \| history \| raw
-rw-r--r--	9629	aggiorna.java	blob \| history \| raw
-rw-r--r--	2029	aggiornamento.java	blob \| history \| raw
-rw-r--r--	228	askFormula.java	blob \| history \| raw
-rw-r--r--	4937	download_page.java	blob \| history \| raw
-rw-r--r--	355	global.java	blob \| history \| raw
-rw-r--r--	1022	listElem.java	blob \| history \| raw
-rw-r--r--	1030	longnodeHandler.java	blob \| history \| raw
-rw-r--r--	7810	mainActivity.java	blob \| history \| raw
-rw-r--r--	1076	operandClick.java	blob \| history \| raw
-rw-r--r--	11275	parser.java	blob \| history \| raw
-rw-r--r--	7035	parserDialog.java	blob \| history \| raw
-rw-r--r--	7029	personalDBHelper.java	blob \| history \| raw
-rw-r--r--	1850	personalTrackerContract.java	blob \| history \| raw
-rw-r--r--	2814	recuperaPass.java	blob \| history \| raw
-rw-r--r--	6937	serverComunication.java	blob \| history \| raw
-rw-r--r--	2552	suString.java	blob \| history \| raw
-rw-r--r--	3493	touchHPHandler.java	blob \| history \| raw
-rw-r--r--	3244	touchParserHandler.java	blob \| history \| raw
-rw-r--r--	7852	touchnodeHandler.java	blob \| history \| raw
-rw-r--r--	895	valutazione.java	blob \| history \| raw